danke für eure Antworten.
Irgendwie bin ich zu faul, zu alt oder zu bequem eine andere Shell wie fish zu
verwenden.
Prinzipiell kann ich mir vorstellen, dass das eine sinnvolle Shell für den
interaktiven
Gebrauch ist.
Gruß,
Thomas
Am 22.06.2018 um 15:20 schrieb Thomas Güttler:
Hallo,
On Sun, Jun 24, 2018 at 12:52 PM Henri Wahl wrote:
> > Pfeiltasten sind auf den meisten Tastaturen an einem unergonomischen
> > Platz angebracht.
> >
> Nun ja, habe ich bisher nicht so als Problem empfunden.
>
> > Das mit dem lostippen und in der History Finden bei der Fish ist ganz
> > nett,
> Pfeiltasten sind auf den meisten Tastaturen an einem unergonomischen
> Platz angebracht.
>
Nun ja, habe ich bisher nicht so als Problem empfunden.
> Das mit dem lostippen und in der History Finden bei der Fish ist ganz
> nett, aber dann muss man doch die Pfeiltasten nehmen, wenn der Treffer
>
Moin,
noch hübscher geht es in der fish shell: https://fishshell.com/. Da kann
man per Pfeiltaste durch die History pflügen oder noch besser, einfach
lostippen und so gleich in der History filtern. Das ist nur der Anfang,
ganz zu schweigen vom farbigen Feedback, ob der Befehl existiert oder
der
Thomas Güttler (Fr 22 Jun 2018 15:20:14 CEST):
> Frage1: Kennt und nutzt ihr strg-r?
Ja. Gelegentlich. Meistens habe ich aber den vi-History-Modus.
> Frage2: Was tun, wenn man mit strg-r an dem Ergebnis vorbei gehuscht ist, und
> wieder zum
> vorgehenden Treffer zurück möchte?
C-s, aber
Am 22. Juni 2018 15:20:14 MESZ schrieb "Thomas Güttler"
:
>Frage2: Was tun, wenn man mit strg-r an dem Ergebnis vorbei gehuscht
>ist, und wieder zum
>vorgehenden Treffer zurück möchte?
Ich erinnere mich dunkel, dass Ctrl-Shift-R funktioniert.
Schöne Grüße
Stefan
Hallo,
ich find das Feature "strg-r" für das Rückwärtssuchen in der Bash-History
super. Ich nutze es seit vielen Jahren.
Aber jüngere Kollegen können sich damit nicht wirklich anfreunden.
Hat man zB zu weit zurück gesucht, dann kommt man nicht wieder nach vorne.
Das Vorwärtssuchen ist