Package: plucker Version: 1.8-33+b1 Severity: wishlist File: /usr/share/man/man1/plucker-dump.1.gz
"WARNING: THE CACHE DIRECTORY GETS ERASED" Mention RECURSIVELY too. I have a better idea. Instead have the user be responsible for erasing the directory himself. Just like 100% of all other programs. That way he would not blow his whole $HOME directory by just doing $ plucker-dump -c . /.../x.pdb Thank you. Also, with such a dangerous command left in the bash history list, all one needs to do a few days later is ^R plu RET and whammo, he has destroyed whatever whole tree he is in, most likely $HOME or even worse. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
