diff options
| author | Zach DeCook <zach.decook@bettercarpeople.com> | 2026-07-31 13:20:27 -0400 |
|---|---|---|
| committer | Zach DeCook <zach.decook@bettercarpeople.com> | 2026-07-31 13:20:27 -0400 |
| commit | 7ce3f13e5068ac5459d252d9c1ca31745e647527 (patch) | |
| tree | 6128a71b1e85a620a78816262b517d23ce5b7d6b /.local | |
| parent | ab3b79c488ba7cebfd42ce614590247e9428b32a (diff) | |
| download | dotfiles-7ce3f13e5068ac5459d252d9c1ca31745e647527.tar.gz | |
improve newtab
Diffstat (limited to '.local')
| -rwxr-xr-x | .local/bin/gnome-terminal-newtab | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.local/bin/gnome-terminal-newtab b/.local/bin/gnome-terminal-newtab index a45da9a..f982097 100755 --- a/.local/bin/gnome-terminal-newtab +++ b/.local/bin/gnome-terminal-newtab @@ -13,4 +13,10 @@ echo GNOME_TERMINAL_SCREEN="$GNOME_TERMINAL_SCREEN" >> /tmp/terminal-newtab.log echo GNOME_TERMINAL_SERVICE="$GNOME_TERMINAL_SERVICE" >> /tmp/terminal-newtab.log echo "$@" "\n" >> /tmp/terminal-newtab.log -/usr/bin/gnome-terminal --tab "$@" +if test "$1" = "--" && test "$2" = "micro"; then + directory="$(dirname "$3")" + echo "WORKING_DIRECTORY=$directory" >> /tmp/terminal-newtab.log + /usr/bin/gnome-terminal --working-directory="$directory" --tab "$@" +else + /usr/bin/gnome-terminal --tab "$@" +fi |