From 80adf828d041fd30c2bfb584b2a1b12c53ad1a5a Mon Sep 17 00:00:00 2001 From: Jonas Gunz Date: Fri, 2 Dec 2022 00:29:52 +0100 Subject: bash --- bash/env.profile | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 bash/env.profile (limited to 'bash/env.profile') 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 -- cgit v1.2.3