[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gnu-arch-users] filename issues
From: |
Stephen J. Turnbull |
Subject: |
Re: [Gnu-arch-users] filename issues |
Date: |
Tue, 19 Oct 2004 05:28:44 +0900 |
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) XEmacs/21.5 (chayote, linux) |
>>>>> "Thomas" == Thomas Lord <address@hidden> writes:
Thomas> I've long commented about how help messages in arch
Thomas> eventually need to be cleaned up. They are fairly regular
Thomas> already but, ideally,
Damn regular, actually.
(defun clean-up-that-mofo-anyway ()
(interactive)
(shell-command "tla help | grep -v '^[ \t]*$'")
(pop-to-buffer "*Shell Command Output*")
(outline-mode)
(hide-sublevels 1))
That's not what I actually use (mine is mousable and a little
cleaner in appearance), but it's already pretty usable. Accident? :-)
I'm headed in a different direction, so I haven't played with parsing
the command help messages, but I doubt it would be very hard.
--
Institute of Policy and Planning Sciences http://turnbull.sk.tsukuba.ac.jp
University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN
Ask not how you can "do" free software business;
ask what your business can "do for" free software.
- Re: [Gnu-arch-users] Re: arch's file naming scheme is shell unfriendly, (continued)
- Re: [Gnu-arch-users] arch's file naming scheme is shell unfriendly, Zenaan Harkness, 2004/10/18
- Re: [Gnu-arch-users] arch's file naming scheme is shell unfriendly, Zenaan Harkness, 2004/10/18
- Re: [Gnu-arch-users] arch's file naming scheme is shell unfriendly, Adrian Irving-Beer, 2004/10/18
- Re: [Gnu-arch-users] arch's file naming scheme is shell unfriendly, Mikhael Goikhman, 2004/10/18
- Re: [Gnu-arch-users] arch's file naming scheme is shell unfriendly, Adrian Irving-Beer, 2004/10/18
- [Gnu-arch-users] filename issues (was Re: [...] naming scheme is shell unfriendly), Thomas Lord, 2004/10/18
- Re: [Gnu-arch-users] filename issues,
Stephen J. Turnbull <=
- Re: [Gnu-arch-users] filename issues, Aaron Bentley, 2004/10/18
- Re: [Gnu-arch-users] filename issues, Jason McCarty, 2004/10/18
- [Gnu-arch-users] zsh completions was: filename issues, Anand Kumria, 2004/10/19
- Re: [Gnu-arch-users] zsh completions was: filename issues, Jason McCarty, 2004/10/19
- Re: [Gnu-arch-users] zsh completions was: filename issues, Jason McCarty, 2004/10/19
- [Gnu-arch-users] Re: filename issues, Miles Bader, 2004/10/18
- Re: [Gnu-arch-users] Re: newbies should neither be seen nor heard, Peter Conrad, 2004/10/15
- [Gnu-arch-users] Re: newbies should neither be seen nor heard, Miles Bader, 2004/10/15
- Re: [Gnu-arch-users] Re: newbies should neither be seen nor heard, Peter Conrad, 2004/10/15
- Re: [Gnu-arch-users] Re: newbies should neither be seen nor heard, Zenaan Harkness, 2004/10/18