mchalupiak/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bash_profile change

Browse Source
This commit is contained in:
Michael Chalupiak 2025-08-17 11:31:29 -04:00
parent 0e68d3dca3
commit a62d036c10
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
config/.bash_profile
View File

@ -20,6 +20,6 @@ export VERSION_CONTROL="never"
# This section can be safely removed at any time if needed. # This section can be safely removed at any time if needed.
test -r '/home/mikec/.opam/opam-init/init.sh' && . '/home/mikec/.opam/opam-init/init.sh' > /dev/null 2> /dev/null || true test -r '/home/mikec/.opam/opam-init/init.sh' && . '/home/mikec/.opam/opam-init/init.sh' > /dev/null 2> /dev/null || true
# END opam configuration # END opam configuration
if [ -z "$DISPLAY" ] && [ "$(tty)" = "/dev/tty1" ]; then # if [ -z "$DISPLAY" ] && [ "$(tty)" = "/dev/tty1" ]; then
exec river # exec river
fi # fi