This is probably not the perfect group to ask but anyway. When I was using Sun Unix systems I was the happy user of the cleanup command with a .cleanuprc like below.
Does anybody know if this command also exist for ubuntu linux? .*~$ 7 ^#.*#$ 7 .*\.dvi$ 7 .*\.log$ 7 .*\.aux$ 7 ^core$ 0 ^.*\.o$ 7 ^a.out$ 7 ^#tz.*$ 0 ## tk part .*\.pic\.old$ 7 .*%$ 7 ^xx.*$ 7 -- Associate Prof. Ph.D Torben Knudsen Mobile : (+45) 2787 9826 Section of Automation and Control, Direct : 6 8694 Department of Electronic Systems, Email : [email protected] Aalborg University Fredrik Bajersvej 7 DK-9220 Aalborg Ø Denmark _______________________________________________ auctex mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex
