diff --git a/tag-zsh/zsh/functions/f b/tag-zsh/zsh/functions/f
new file mode 100644
index 00000000..fe1059be
--- /dev/null
+++ b/tag-zsh/zsh/functions/f
@@ -0,0 +1,9 @@
+# No arguments: `fin ps`
+# With arguments: acts like `fin`
+f() {
+  if [[ $# > 0 ]]; then
+    fin $@
+  else
+    fin ps
+  fi
+}
diff --git a/tag-zsh/zsh_profile.d/aliases.zsh b/tag-zsh/zsh_profile.d/aliases.zsh
index 1257718a..e08b184c 100644
--- a/tag-zsh/zsh_profile.d/aliases.zsh
+++ b/tag-zsh/zsh_profile.d/aliases.zsh
@@ -30,9 +30,6 @@ alias yp="yarn prod"
 alias ys="yarn serve"
 alias yw="yarn watch"
 
-# Docksal
-alias f="fin"
-
 # Shorter Git commands.
 alias add='git add'
 alias amend='git commit --amend'