diff options
| author | Vidhu Kant Sharma <vidhukant@vidhukant.com> | 2025-05-10 10:27:21 +0530 |
|---|---|---|
| committer | Vidhu Kant Sharma <vidhukant@vidhukant.com> | 2025-05-10 10:27:21 +0530 |
| commit | 3b9f0cb7c805b8a5f384d6d89cf6e3f9674a8e03 (patch) | |
| tree | a546a8336cc3ea685481be3c753ff48aa7d2a0dd /.scripts | |
| parent | 0b0013bc88603d22b0ec1ad28e352f46cab00e75 (diff) | |
did stuff
Diffstat (limited to '.scripts')
| -rwxr-xr-x | .scripts/open_terminal | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/.scripts/open_terminal b/.scripts/open_terminal index b928758..a2ef1b8 100755 --- a/.scripts/open_terminal +++ b/.scripts/open_terminal @@ -8,15 +8,13 @@ then PID=$(xprop -id $ACTIVE_WINDOW | grep _NET_WM_PID | grep -oP "\d+") if [[ "$PID" == "" ]] then - # WINIT_X11_SCALE_FACTOR=1.3 alacritty - 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.3 alacritty - 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" |