diff options
| -rwxr-xr-x | .scripts/open_terminal | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.scripts/open_terminal b/.scripts/open_terminal index c816a13..a2ef1b8 100755 --- a/.scripts/open_terminal +++ b/.scripts/open_terminal @@ -8,20 +8,20 @@ then PID=$(xprop -id $ACTIVE_WINDOW | grep _NET_WM_PID | grep -oP "\d+") if [[ "$PID" == "" ]] then - WINIT_X11_SCALE_FACTOR=1.5 alacritty + WINIT_X11_SCALE_FACTOR=1.3 alacritty fi # Get first child of terminal CHILD_PID=$(pgrep -P $PID) if [[ "$PID" == "" ]] then - WINIT_X11_SCALE_FACTOR=1.5 alacritty + WINIT_X11_SCALE_FACTOR=1.3 alacritty fi # Get current directory of child. The first child should be the shell. pushd "/proc/${CHILD_PID}/cwd" SHELL_CWD=$(pwd -P) popd # Start alacritty with the working directory - WINIT_X11_SCALE_FACTOR=1.5 alacritty --working-directory $SHELL_CWD + WINIT_X11_SCALE_FACTOR=1.3 alacritty --working-directory $SHELL_CWD else - WINIT_X11_SCALE_FACTOR=1.5 alacritty + WINIT_X11_SCALE_FACTOR=1.3 alacritty fi |