diff options
Diffstat (limited to 'etc/parameters')
| -rw-r--r-- | etc/parameters | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/etc/parameters b/etc/parameters index e868275..968e9b0 100644 --- a/etc/parameters +++ b/etc/parameters @@ -10,15 +10,6 @@ TIMEFMT='%J (%P) - %*E real, %*U user, %*S system' # zshrc parameters compdump=~/var/cache/zsh/compdump -typeset -A hosts -hosts=( - kraftwerk '' - saviour '' - kappa ':server:' - nemesis '' - aneurysm ':server:' - sievert '' -) # Paths [[ $path[1] = $HOME/bin ]] || export PATH=$HOME/bin:$PATH |