diff options
Diffstat (limited to '.scripts')
| -rwxr-xr-x | .scripts/open_terminal | 8 | ||||
| -rw-r--r-- | .scripts/setup_dots | 6 |
2 files changed, 10 insertions, 4 deletions
diff --git a/.scripts/open_terminal b/.scripts/open_terminal index a2ef1b8..62ac7cc 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.3 alacritty + alacritty fi # Get first child of terminal CHILD_PID=$(pgrep -P $PID) if [[ "$PID" == "" ]] then - 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" SHELL_CWD=$(pwd -P) popd # Start alacritty with the working directory - WINIT_X11_SCALE_FACTOR=1.3 alacritty --working-directory $SHELL_CWD + alacritty --working-directory $SHELL_CWD else - WINIT_X11_SCALE_FACTOR=1.3 alacritty + alacritty fi diff --git a/.scripts/setup_dots b/.scripts/setup_dots new file mode 100644 index 0000000..bed4afc --- /dev/null +++ b/.scripts/setup_dots @@ -0,0 +1,6 @@ +#!/bin/bash + +git init --bare $HOME/.dots +git --git-dir=$HOME/.dots/ --work-tree=$HOME config --local status.showUntrackedFiles no +git --git-dir=$HOME/.dots/ --work-tree=$HOME remote add origin git@vidhukant.com:dots +git --git-dir=$HOME/.dots/ --work-tree=$HOME pull origin master |