Files
dotfiles/bash-conf-work/.bash_paths
T
2026-06-19 08:45:53 +02:00

27 lines
553 B
Bash

#
# ~/.bash_profile
#
# KEEP THIS!
# important for window manager and menu app (fuzzel, rofi, ..)
# to find scripts and utilities
export_paths=("${HOME}/dotfiles/scripts")
export_paths+=("${HOME}/dotfiles/desktop-files")
export_paths+=("${HOME}/tools/jlink")
for entry in ${export_paths[@]}; do
if ! [[ -d "${entry}" ]]; then
continue
fi
if [[ "$PATH" == *"${entry}"* ]]; then
continue
fi
export PATH="${PATH}:${entry}"
done
unset export_paths
# vivado license
export XILINXD_LICENSE_FILE=26140@aberdeen.zhaw.ch