annotate .bash_logout @ 305:63cdefeef173 default tip

Gallifrey has fallen
author Steve Huston <huston@princeton.edu>
date Fri, 02 May 2025 16:29:42 -0400
parents 1be7d2e2b2a1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
220
1be7d2e2b2a1 .hgrc for chromebook VMs, and adopt their .bash_logout
Steve Huston <huston@srhuston.net>
parents: 198
diff changeset
1 # ~/.bash_logout: executed by bash(1) when login shell exits.
1be7d2e2b2a1 .hgrc for chromebook VMs, and adopt their .bash_logout
Steve Huston <huston@srhuston.net>
parents: 198
diff changeset
2
1be7d2e2b2a1 .hgrc for chromebook VMs, and adopt their .bash_logout
Steve Huston <huston@srhuston.net>
parents: 198
diff changeset
3 # when leaving the console clear the screen to increase privacy
1be7d2e2b2a1 .hgrc for chromebook VMs, and adopt their .bash_logout
Steve Huston <huston@srhuston.net>
parents: 198
diff changeset
4
1be7d2e2b2a1 .hgrc for chromebook VMs, and adopt their .bash_logout
Steve Huston <huston@srhuston.net>
parents: 198
diff changeset
5 if [ "$SHLVL" = 1 ]; then
1be7d2e2b2a1 .hgrc for chromebook VMs, and adopt their .bash_logout
Steve Huston <huston@srhuston.net>
parents: 198
diff changeset
6 [ -x /usr/bin/clear_console ] && /usr/bin/clear_console -q
1be7d2e2b2a1 .hgrc for chromebook VMs, and adopt their .bash_logout
Steve Huston <huston@srhuston.net>
parents: 198
diff changeset
7 fi