From a62d036c101701ebef09131c75a2439194728d90 Mon Sep 17 00:00:00 2001 From: Michael Chalupiak Date: Sun, 17 Aug 2025 11:31:29 -0400 Subject: [PATCH] bash_profile change --- config/.bash_profile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/config/.bash_profile b/config/.bash_profile index 29f87f7..ff0f6e9 100644 --- a/config/.bash_profile +++ b/config/.bash_profile @@ -20,6 +20,6 @@ export VERSION_CONTROL="never" # 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 # END opam configuration -if [ -z "$DISPLAY" ] && [ "$(tty)" = "/dev/tty1" ]; then - exec river -fi +# if [ -z "$DISPLAY" ] && [ "$(tty)" = "/dev/tty1" ]; then + # exec river +# fi