1 files changed, 0 insertions, 19 deletions
diff --git a/profile/01_path.sh b/profile/01_path.sh
deleted file mode 100644
index 8b18f5e..0000000
--- a/profile/01_path.sh
+++ /dev/null

@@ -1,19 +0,0 @@
-# PATH and variables for $HOME-local installations
-LOCAL_PREFIX="$HOME/usr"
-export LOCAL_PREFIX
-# Pkg-config
-path_add_unsafe PKG_CONFIG_PATH "$LOCAL_PREFIX/lib/pkgconfig"
-export PKG_CONFIG_PATH
-# LD_LIBRARY_PATH
-path_add_unsafe LD_LIBRARY_PATH "$LOCAL_PREFIX/lib"
-export LD_LIBRARY_PATH
-# see 00_functions.sh for `path_add'
-path_add_to_PATH \
-        "$HOME/bin" \
-        "$LOCAL_PREFIX/bin" \
-        "$LOCAL_PREFIX/scripts" \
-        "$LOCAL_PREFIX/games/"

diff --git a/profile/01_path.sh b/profile/01_path.sh deleted file mode 100644 index 8b18f5e..0000000 --- a/profile/01_path.sh +++ /dev/null
@@ -1,19 +0,0 @@
1	# PATH and variables for $HOME-local installations
2
3	LOCAL_PREFIX="$HOME/usr"
4	export LOCAL_PREFIX
5
6	# Pkg-config
7	path_add_unsafe PKG_CONFIG_PATH "$LOCAL_PREFIX/lib/pkgconfig"
8	export PKG_CONFIG_PATH
9
10	# LD_LIBRARY_PATH
11	path_add_unsafe LD_LIBRARY_PATH "$LOCAL_PREFIX/lib"
12	export LD_LIBRARY_PATH
13
14	# see 00_functions.sh for `path_add'
15	path_add_to_PATH \
16	"$HOME/bin" \
17	"$LOCAL_PREFIX/bin" \
18	"$LOCAL_PREFIX/scripts" \
19	"$LOCAL_PREFIX/games/"