diff options
Diffstat (limited to '.local/bin')
| -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 |