diff options
Diffstat (limited to 'bash/env.profile')
-rw-r--r-- | bash/env.profile | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/bash/env.profile b/bash/env.profile deleted file mode 100644 index d7e09b9..0000000 --- a/bash/env.profile +++ /dev/null @@ -1,30 +0,0 @@ -# vi:filetype=sh - -function appendpath() { - local regex="[:^]${1//'/'/'\/'}[:$]" - if [[ ! ${PATH} =~ $regex ]]; then - PATH=$PATH:$1 - fi -} - -appendpath "$HOME/bin" -appendpath "$DOTFILEBASE/scripts" -appendpath "$HOME/.local/bin" -appendpath "$HOME/go/bin" -appendpath "$HOME/.cabal/bin" -appendpath "$HOME/.ghcup/bin" - -export PATH -unset appendpath - -if which nvim > /dev/null 2>&1 && [ ! "$FORCE_VANILLA_VIM" = "yes" ] ; then - export EDITOR=nvim -else - export EDITOR=vim -fi - -#Java Gradle hopme PATH -export GRADLE_USER_HOME=~/.gradle - -export HISTTIMEFORMAT="%y-%m-%d %T " -export HISTSIZE=1000 |