diff options
| author | Amin Bandali <bandali@gnu.org> | 2022-12-24 16:09:15 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2022-12-24 16:09:40 -0500 |
| commit | 8c1ecff38afe44dc3abbc340ae10e94e83f106ea (patch) | |
| tree | 1488360cea2193beeb84f6b8143187932b4e8091 /.local/bin/startup-progs | |
| parent | 838a2e40a4e359db890b5502c083a161c2aba71b (diff) | |
| download | configs-8c1ecff38afe44dc3abbc340ae10e94e83f106ea.tar.gz configs-8c1ecff38afe44dc3abbc340ae10e94e83f106ea.tar.xz configs-8c1ecff38afe44dc3abbc340ae10e94e83f106ea.zip | |
Differentiate between host-specific startup progs and profiles
Mainly, that startup progs are programs/commands that need to be run
when starting a window manager, whereas profiles are generally sourced
at login time (including over ssh or tty) and don't necessarily have
anything to do with starting window managers.
Diffstat (limited to '')
| -rwxr-xr-x | .local/bin/startup-progs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.local/bin/startup-progs b/.local/bin/startup-progs index cc641bf..2040de2 100755 --- a/.local/bin/startup-progs +++ b/.local/bin/startup-progs @@ -3,6 +3,10 @@ resources="$HOME/.Xresources $HOME/.Xresources.d/$(hostname)" for res in $resources; do [ -f "$res" ] && xrdb -merge "$res"; done +if [ -f "$HOME/.local/bin/$(hostname)/startup" ]; then + . "$HOME/.local/bin/$(hostname)/startup" +fi + xsetroot -cursor_name left_ptr xset r rate 200 45 xset b off |