diff options
| author |  Jonas Gunz <himself@jonasgunz.de>
| 2020-03-24 17:35:15 +0100 |
|---|---|---|
| committer | Jonas Gunz <himself@jonasgunz.de>
| 2020-03-24 17:35:15 +0100 |
| commit | dc4306e6b5b8c5a59baa50dcf16632dccea4e338 (patch) | |
| tree | 0a593c5fb194a3f4afe756da6a50bfcd3edfc1a9 /bash/env.profile | |
| parent | 0b532235bb807480318fa73cd5022ab156255a70 (diff) | |
| download | dotfiles-dc4306e6b5b8c5a59baa50dcf16632dccea4e338.tar.gz | |
removed debug message
Diffstat (limited to 'bash/env.profile')
| -rw-r--r-- | bash/env.profile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bash/env.profile b/bash/env.profile index f009325..2d5b7c6 100644 --- a/bash/env.profile +++ b/bash/env.profile @@ -2,7 +2,6 @@ function appendpath() { local regex="[:^]${1//'/'/'\/'}[:$]" - echo $regex if [[ ! ${PATH} =~ $regex ]]; then PATH=$PATH:$1 fi |