diff options
| author | Vidhu Kant Sharma <vidhukant@vidhukant.com> | 2023-10-31 16:32:21 +0530 |
|---|---|---|
| committer | Vidhu Kant Sharma <vidhukant@vidhukant.com> | 2023-10-31 16:32:21 +0530 |
| commit | aebe49eba59748dff023796fb925294117e2e2e5 (patch) | |
| tree | f4cdcf22d15c11fc02ce151d8bbc3481a7abee3a /.scripts | |
| parent | 58795faef9eb6f3e5dc9de8164fdff631e8ba8ea (diff) | |
tweaked scaling a bit
Diffstat (limited to '.scripts')
| -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 |