66 reputation
bio website wox.at/as
location Vienna, Austria
age 43
visits member for 2 years, 3 months
seen Apr 10 at 23:14

comment Disable user shell for security reasons
Note that on Debians, nologin actually is to be found at /usr/sbin/nologin
comment How can I programatically add entries to Bash history and have timestamps work properly?
This did not work for me (Bash 4.1.5), neither -H, histchars nor set -o history. To the contrary, all lines of my .bashrc are added that are followed by set -o history even though history is on by default. I consider this a bug. However, I used it for a workaround: I put histchars='!^#', followed by set -o history and history -s "# some text as a marker" at the very end of .bashrc. This adds indeed the marker and does not delete the history.