298 reputation
1311
bio website
location
age 41
visits member for 3 years, 3 months
seen Nov 18 at 9:11

Jul
29
comment How do I disable the keyboard shortcut for menu in Linux Mint 13?
Downvoted because this is not what is asked: it is not a matter of changing the mapping of Hyper to Win-keys, but a matter of avoiding the Hyper key (or the Win-keys) to be used in the shortcuts. The end result might be the same, but the process is not. In my case I do not want to change the behavior of the Hyper key, but I do want to avoid it opening the menu.
Jul
29
comment How do I disable the keyboard shortcut for menu in Linux Mint 13?
At list in Linux Mint 17 “Qiana” - Xfce (64-bit), that does not work: the default shortcut gets added again
Feb
11
comment Prevent diff from checking for newline at end of file
not good. diff -r exists with result != 0 if I do not add --ignore-all-space. To be clear: I want diff to ignore newlines at EOF, and only at EOF. And I want it to report a result which matches this criteria. That is, if files in the tree differ only on the newline at EOF, that must not be considered a difference, and thus diff must return 0.
Sep
5
comment Setting system wide environment variable in Ubuntu 8.04 Server
I think I got bitten badly by a quirk in my own setup: I am using ssh connection sharing, and of course no authentication is performed as long as an open connection is still there. So I had to kill all opened connections to the remote host, and reconnect from scratch. Now /etc/environment is being read as expected.
Sep
5
comment Setting system wide environment variable in Ubuntu 8.04 Server
I have added the line session required pam_env.so to /etc/pam.d/common-session, and verified that my ssh server is using PAM (UsePAM yes). It is still not working. I have even restarted the SSH server, but I had no luck. Any idea?