From bb2dd4c1f159ce01de7b60b1242a9794f4ed7b12 Mon Sep 17 00:00:00 2001 From: Sage Vaillancourt Date: Wed, 13 Dec 2023 16:07:28 -0500 Subject: [PATCH] Hide menubar, show border Multi-arg pushdot messages --- fake_home/.config/xfce4/terminal/terminalrc | 4 ++-- fake_home/.zshrc | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/fake_home/.config/xfce4/terminal/terminalrc b/fake_home/.config/xfce4/terminal/terminalrc index cc00249..e697d7a 100644 --- a/fake_home/.config/xfce4/terminal/terminalrc +++ b/fake_home/.config/xfce4/terminal/terminalrc @@ -1,12 +1,12 @@ [Configuration] MiscAlwaysShowTabs=FALSE MiscBell=FALSE -MiscBordersDefault=FALSE +MiscBordersDefault=TRUE MiscCursorBlinks=FALSE MiscCursorShape=TERMINAL_CURSOR_SHAPE_BLOCK MiscDefaultGeometry=80x24 MiscInheritGeometry=FALSE -MiscMenubarDefault=TRUE +MiscMenubarDefault=FALSE MiscMouseAutohide=FALSE MiscToolbarDefault=FALSE MiscConfirmClose=TRUE diff --git a/fake_home/.zshrc b/fake_home/.zshrc index cf90898..540c1f9 100644 --- a/fake_home/.zshrc +++ b/fake_home/.zshrc @@ -72,7 +72,7 @@ function pushdot { if [ $# -eq 0 ]; then git commit -a && git push -u origin main else - git commit -a -m "$1" && git push -u origin main + git commit -a -m "$@" && git push -u origin main fi cd - }