Reputation
1,412
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
5 13
Newest
 Yearling
Impact
~105k people reached

Apr
8
revised Tail -f the most recent log file
added 431 characters in body
Apr
8
revised Tail -f the most recent log file
added 2247 characters in body
Mar
22
comment /proc/net/tcp: permission denied
Is target yours or are you connecting a third party server?? (In the second case, migrating from serverfault was probably not a good idea!)
Mar
22
answered /proc/net/tcp: permission denied
Mar
22
comment Is using a read only root file system a good idea for embedded setup?
Answer edited! New solution and explained diffs!
Mar
22
revised Is using a read only root file system a good idea for embedded setup?
Adding fsprotect debian package as overall solution
Feb
14
comment How do I find the X window ID under the mouse pointer in bash?
sed /x[0-9]\\++/q\;d <(xwininfo -tree -id $(XQueryPointer))
Dec
3
comment Recent change causes Shift+Space to do nothing
Yes, some programs do a keyboard re-mapping when focus switch in or out of them... This happen with remote control apps, like vncviewer or virtual machines like KVM... Some games could make same effects. My solution was to store my keyboard function into a dedicated shell script, which I run simply each times something goes wrong.
Nov
26
comment Recent change causes Shift+Space to do nothing
@NaftuliTzviKay Did you try the last command: xmodmap -e 'keycode 65 = space space space space' (or maybe with only one space)?
Nov
24
answered Recent change causes Shift+Space to do nothing
Nov
22
awarded  Yearling
Oct
16
awarded  Necromancer
Sep
30
awarded  Explainer
Jul
30
comment Can I find out which ssh key was used to access an account?
@godlygeek I really thank you: your comment was upvoted and my answer edited. This was a real bug I never seen because I don't make a lot of connections and have not a lot of users connecting through ssh... I use this in prod for storing separate bash history for each sessions (have a look on comments on my answer;).
Jul
29
revised Can I find out which ssh key was used to access an account?
Bug correction about first instead last fingerprint in logfile
Jul
29
comment Can I find out which ssh key was used to access an account?
@godlygeek Oh yes! I have better to whipe q directive, store line until end of file... sed line become: sed -ne "/sshd.$PPID.:.*matching DSA key/{s/^.* //g;h};\${x;p}" /var/log/auth.log . Definitively: I Love sed!
Jul
20
awarded  Autobiographer
Jul
5
revised How to adjust time command to measure a program elapsed time
added 292 characters in body
Jun
9
awarded  Caucus
May
9
comment Can I find out which ssh key was used to access an account?
This is linked to Record bash_history to private database for all users