diff --git a/dot/file/profile b/dot/file/profile index 2cfeb9b..0acad78 100755 --- a/dot/file/profile +++ b/dot/file/profile @@ -80,6 +80,10 @@ source-if-exist() { done } +f() { + fish +} + if test "$OS" != "Windows_NT" ; then PATH="$HOME/exe:$HOME/.local/bin:$PATH" fi