Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #199915
| From | Michael Wagner <wagner_m_bremen@web.de> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: Is there a log file of ...? |
| Date | 2018-09-08 21:50 +0200 |
| Message-ID | <wvRp0-IW-9@gated-at.bofh.it> (permalink) |
| References | (1 earlier) <wvL9T-5GP-7@gated-at.bofh.it> <wvLtf-5MU-5@gated-at.bofh.it> <wvLCV-5PV-11@gated-at.bofh.it> <wvNOp-71H-1@gated-at.bofh.it> <wvO7L-7nh-3@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
[Multipart message — attachments visible in raw view] - view raw
On Sep 08, 2018 at 18:12:02, tomas@tuxteam.de wrote: > On Sat, Sep 08, 2018 at 05:55:57PM +0200, Michael Wagner wrote: > > On Sep 08, 2018 at 15:29:44, tomas@tuxteam.de wrote: > > > And while we're at it, CTRL-R and start typing a substring of > > > the past command you're looking for: the more letters you have, > > > the more specific the match becomes (also called "reverse > > > incremental search"). > > > > > > Takes a bit to get used to, but is... magic. > > > > > > I'm surprised it is so little known. > > > > This is one of the first things I set when installing a new Debian. > > But you must set it explicitly in /etc/inputrc systemwide or in your > > ~/.inputrc. I don't how this behaviour is in other distris. > > Hm. I have no .inputrc. I have the impression that on my box > it is the default (Debian stretch, but it seems to have been > default for a long time). > > Wait a minute! I've a minimal schroot installation around... > yes, it seems to be default behaviour. You are right. I mixed it up with # alternate mappings for "page up" and "page down" to search the history "\e[5~": history-search-backward "\e[6~": history-search-forward to search after you hit CTRL-R and type the beginnning of the command you search for. Michael -- Lesser artists borrow. Great artists steal.
Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Is there a log file of ...? Richard Owlett <rowlett@cloud85.net> - 2018-09-07 21:50 +0200
Re: Is there a log file of ...? Dan Purgert <dan@djph.net> - 2018-09-07 22:10 +0200
Re: Is there a log file of ...? Reco <recoverym4n@gmail.com> - 2018-09-07 22:10 +0200
Re: Is there a log file of ...? David Wright <deblis@lionunicorn.co.uk> - 2018-09-08 05:00 +0200
Re: Is there a log file of ...? Richard Owlett <rowlett@cloud85.net> - 2018-09-08 12:20 +0200
Re: Is there a log file of ...? Jude DaShiell <jdashiel@panix.com> - 2018-09-08 15:10 +0200
Re: Is there a log file of ...? Hans <hans.ullrich@loop.de> - 2018-09-08 15:30 +0200
Re: Is there a log file of ...? <tomas@tuxteam.de> - 2018-09-08 15:40 +0200
Re: Is there a log file of ...? Michael Wagner <wagner_m_bremen@web.de> - 2018-09-08 18:00 +0200
Re: Is there a log file of ...? <tomas@tuxteam.de> - 2018-09-08 18:20 +0200
Re: Is there a log file of ...? Michael Wagner <wagner_m_bremen@web.de> - 2018-09-08 21:50 +0200
Re: Is there a log file of ...? Brad Rogers <brad@fineby.me.uk> - 2018-09-09 08:00 +0200
Re: Is there a log file of ...? Jack Dangler <tdldev@gmail.com> - 2018-09-08 18:20 +0200
Re: Is there a log file of ...? Curt <curty@free.fr> - 2018-09-08 18:40 +0200
csiph-web