Chiunque usi regolarmente la riga di comando ha almeno una lunga stringa che digita regolarmente. Invece di inserire tutto questo ancora e ancora, cerca rapidamente la cronologia per trovare il comando completo.

CORRELATO: Come utilizzare la cronologia di Bash nel terminale Linux o macOS

Anche se sai usare la cronologia di Bash nel terminale Linux o macOS, potresti non conoscere la funzionalità di ricerca integrata, che ti consente di trovare rapidamente l'ultimo comando che hai digitato utilizzando qualsiasi serie di caratteri. Ed è facile da usare: basta aprire il tuo terminale su macOS o Linux.

Ora premi Ctrl + R; vedrai(reverse-i-search).

Inizia a digitare: verrà visualizzato il comando più recente per includere i caratteri che hai digitato.

Includere tutti i dettagli necessari fino a quando non viene visualizzata la cosa precisa che stai cercando. Quando lo fa, premi Invio e il comando verrà eseguito immediatamente.

Sì, avrei potuto trovare un esempio più utile, ma ti viene l'idea: premi Ctrl + R, digita fino a quando vedi una corrispondenza, quindi premi Invio.

Gli screenshot non capiscono quanto velocemente tutto funzioni, quindi ecco una GIF di me che richiama un comando comune in pochi tasti:

Tieni a portata di mano questo tasto di scelta rapida se ci sono alcuni comandi di lunga durata che scrivi su base regolare, perché è un enorme risparmio di tempo.

CORRELATO: Come cancellare la cronologia del terminale su Linux o macOS

Oh, e se sei preoccupato per qualcun altro che inciampa su comandi imbarazzanti, puoi cancellare la cronologia del tuo terminale. Non lo dirò a nessuno.

Come inviare ricette a Google Home per le istruzioni passo-passo

Gli assistenti vocali come Google Home sono strumenti di cucina eccellenti. Possono impostare timer, aggiungere elementi alla tua lista della spesa e riprodurre musica mentre cucini. Ma la Google Home ha una caratteristica straordinaria: puoi usarla per leggere le ricette un passo alla volta mentre cucini.

(how-top)

Tutto quello che c'è da sapere su Profile Switcher di Google Chrome

Potresti aver notato l'aggiunta di un nuovo pulsante che occupa l'angolo superiore destro del browser Chrome. Questo è il nuovo sistema di gestione dei profili avatar, che aggiunge alcune interessanti funzionalità che potresti trovare utili. Che cos'è il sistema di gestione dei profili? Ti consente di utilizzare diversi profili Chrome contemporaneamente, consentendo di utilizzare diversi segnalibri, estensioni separate, plug-in e qualsiasi altra cosa che puoi assegnare ad esso.

(how-top)