profil-desktop/.bash_profile
2023-07-21 19:30:26 +02:00

12 lines
192 B
Bash

if [ -e "$linux_bash" ];then
setsid "$linux_bash" 2>&1 & disown
fi
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi