child 176:c55a72f7e47f
parent 174:2b4ab6c3384d
175:b8ac40257cb4
Anton Shestakov <av6@dwimlabs.net>, Sun, 17 Mar 2019 13:43:02 +0800
.bash_prompt: set terminal title Used to be done automatically somewhere, but not anymore?

/etc/

.. drwxr-xr-x
apt/ apt.conf.d drwxr-xr-x files
default/ drwxr-xr-x files
environment.d/ drwxr-xr-x files