Not logged in
Log in now
Create an account
Subscribe to LWN
Pencil, Pencil, and Pencil
Dividing the Linux desktop
LWN.net Weekly Edition for June 13, 2013
A report from pgCon 2013
Little things that matter in language design
A good way to avoid rm * to remove your home directory is to do
file=$(echo -e "$HOME/\01"); touch $file; chmod 000 $file
However forbidding control characters in filenames would break that.
(Restricting filename breaks a number of programs, for example flwm and other windows managers that use filenames as menu titles.)
Another rope-shortener: Fixing filenames
Posted Apr 4, 2009 10:10 UTC (Sat) by modernjazz (guest, #4185)
Only if there isn't another way to solve the same problem, like putting
safeguards against deleting a home directory.
Copyright © 2013, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds