diff options
Diffstat (limited to 'profile/01_path.sh')
| -rw-r--r-- | profile/01_path.sh | 19 |
1 files changed, 17 insertions, 2 deletions
| diff --git a/profile/01_path.sh b/profile/01_path.sh index b5856e8..6675241 100644 --- a/profile/01_path.sh +++ b/profile/01_path.sh | |||
| @@ -1,4 +1,19 @@ | |||
| 1 | # PATH | 1 | # PATH and variables for $HOME-local installations |
| 2 | |||
| 3 | LOCAL_PREFIX="$LOCAL_PATH" | ||
| 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 | ||
| 2 | 13 | ||
| 3 | # see 00_functions.sh for `path_add' | 14 | # see 00_functions.sh for `path_add' |
| 4 | path_add_to_PATH "$HOME/bin" "$HOME/usr/bin" "$HOME/usr/scripts" | 15 | path_add_to_PATH \ |
| 16 | "$HOME/bin" \ | ||
| 17 | "$LOCAL_PREFIX/bin" \ | ||
| 18 | "$LOCAL_PREFIX/scripts" \ | ||
| 19 | "$LOCAL_PREFIX/games/" | ||