Reputation
969
Top tag
Next privilege 1,000 Rep.
See votes, expandable usercard
Badges
3 12 19
Impact
~65k people reached

  • 0 posts edited
  • 0 helpful flags
  • 55 votes cast
Jul
16
awarded  Nice Question
Jul
15
asked Best compression of similar files?
Jul
13
comment What does mv do in case of errors?
Concerning the info page, do I understand it right that for each command line source directory, it gets removed iff the corresponding copy succeeded? I mean that mv src1 src2 dst works in this respect similar to mv src1 dst; mv src2 dst and each single mv src dst is like cp -a src dst && rm -rf src?
Jul
13
asked What does mv do in case of errors?
Jun
5
comment Where should a local executable be placed?
Agreed, I wonder why anybody wants to pollute $HOME by 10 more directories (in addition to dozens dot-files).
Apr
24
awarded  Popular Question
Apr
14
comment Is there a better alternative to sudoedit?
Good to know. However, I don't really like it: 1. Tramp ignores numpad keys when reading the password. 2. The backup files get written as ~/%backup%~. 3. I'd really prefer saving a copy somewhere in my home directory for future reference, possibly versioning, and future re-installs.
Apr
14
asked Is there a better alternative to sudoedit?
Mar
21
accepted Configure bash globbing
Mar
21
asked Strange problem with synchronized clipboards
Mar
14
comment Is there an easy way to replace duplicate files with hardlinks?
@tante: Using symlinks solves no problem. When a user "deletes" a file, the number of links to it gets decremented, when the count reaches zero, the files gets really deleted, that's all. So deletion is no problem with hardlinked files, the only problem is a user trying to edit the file (unprobable indeed) or to overwrite it (quite possible if logged in).
Mar
13
answered Configure bash globbing
Mar
13
revised Configure bash globbing
deleted 620 characters in body
Mar
13
comment Configure bash globbing
That's interesting, but can't be the cause. The concerned directory is my $HOME and the permissions are right (700).
Mar
12
comment Configure bash globbing
This behavior is very strange, indeed. I edited my question.
Mar
12
awarded  Editor
Mar
12
revised Configure bash globbing
added 1030 characters in body
Mar
12
comment Configure bash globbing
You're right in what you're saying about not matching. But it should match, there're tons of .foo files in my home directory, etc.
Mar
12
asked Configure bash globbing
Mar
6
comment Setting up a cronjob as a file
Forget about crontab -e and use crontab my_private_crontab_file or crontab -.