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 /zsh/.zshrc.local | |
| 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 '')
0 files changed, 0 insertions, 0 deletions