diff options
| -rw-r--r-- | .config/alacritty/env.toml | 2 | ||||
| -rwxr-xr-x | .scripts/open_terminal | 6 |
2 files changed, 6 insertions, 2 deletions
diff --git a/.config/alacritty/env.toml b/.config/alacritty/env.toml new file mode 100644 index 0000000..d0d8c1a --- /dev/null +++ b/.config/alacritty/env.toml @@ -0,0 +1,2 @@ +[env] +WINIT_X11_SCALE_FACTOR = "1.3" diff --git a/.scripts/open_terminal b/.scripts/open_terminal index a2ef1b8..b928758 100755 --- a/.scripts/open_terminal +++ b/.scripts/open_terminal @@ -8,13 +8,15 @@ then PID=$(xprop -id $ACTIVE_WINDOW | grep _NET_WM_PID | grep -oP "\d+") if [[ "$PID" == "" ]] then - WINIT_X11_SCALE_FACTOR=1.3 alacritty + # WINIT_X11_SCALE_FACTOR=1.3 alacritty + alacritty fi # Get first child of terminal CHILD_PID=$(pgrep -P $PID) if [[ "$PID" == "" ]] then - WINIT_X11_SCALE_FACTOR=1.3 alacritty + # WINIT_X11_SCALE_FACTOR=1.3 alacritty + alacritty fi # Get current directory of child. The first child should be the shell. pushd "/proc/${CHILD_PID}/cwd" |