diff options
author | Jakob Odersky <jakob@odersky.com> | 2018-06-11 08:44:24 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2018-06-11 08:45:07 -0700 |
commit | 575e39cf8d4ff56f40ad02567dc7b83f8f9c1109 (patch) | |
tree | b91d6d2e9821445f65f57082022aad9de19929aa /home/.bashrc.d/wayland.sh | |
parent | 38325926877c1eecf431f2a501c92bda769103a9 (diff) | |
download | dotfiles-575e39cf8d4ff56f40ad02567dc7b83f8f9c1109.tar.gz dotfiles-575e39cf8d4ff56f40ad02567dc7b83f8f9c1109.tar.bz2 dotfiles-575e39cf8d4ff56f40ad02567dc7b83f8f9c1109.zip |
Clean up initial bash scripts
Diffstat (limited to 'home/.bashrc.d/wayland.sh')
-rw-r--r-- | home/.bashrc.d/wayland.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/home/.bashrc.d/wayland.sh b/home/.bashrc.d/wayland.sh deleted file mode 100644 index ec9aa62..0000000 --- a/home/.bashrc.d/wayland.sh +++ /dev/null @@ -1,8 +0,0 @@ -# Update PATH to include custom directories. This is a workaround for -# gnome-wayland, which does not load /etc/profile - -export PATH=/usr/local/sbin:/usr/sbin:/sbin:"$PATH" - -if [ -n "$HOME" ] && [ -d "$HOME/bin" ]; then - export PATH="$HOME/bin:$PATH" -fi |