From 71ef2901c3a1b7a0193eafbd1f27de8792acff02 Mon Sep 17 00:00:00 2001 From: urosm Date: Fri, 1 Mar 2024 12:52:12 +0100 Subject: [PATCH] update `.profile` --- .profile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.profile b/.profile index d87d6c6..08d0e64 100644 --- a/.profile +++ b/.profile @@ -9,7 +9,7 @@ if [ -n "$BASH_VERSION" ]; then fi # set PATH so it includes user's private bin if it exists -if [ -d "$HOME/bin" ] ; then +if [ -d "$HOME/bin" ]; then PATH="$HOME/bin:$PATH" fi @@ -81,7 +81,7 @@ export OPAMROOT=$XDG_DATA_HOME/opam export EDITOR=vi # desktop -if [ "$(tty)" = "/dev/tty1" ] && command -v sway &>/dev/null; then +if [ "$(tty)" = "/dev/tty1" ] && command -v sway >/dev/null; then # locale export LANG=sl_SI.UTF-8 export LC_MESSAGES=en_US.UTF-8