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 abbinare un auricolare Bluetooth con Android Wear

Android Wear ha la capacità di memorizzare musica sull'orologio per l'ascolto in movimento lontano dal telefono. Ma non devi usare i suoi minuscoli diffusori (se l'orologio ha anche ha altoparlanti) - puoi effettivamente accoppiare un auricolare Bluetooth con l'orologio e lasciare il telefono a casa.

(how-top)

Il taglio del cavo sta perdendo il suo lustro

Ricordate alcuni anni fa, quando i servizi online stavano per uccidere i demoni anti-consumatore di DirecTV, Time Warner e Comcast? Qui, nel 2017, il mercato del cord-cutting e della TV in streaming sembra molto più cupo. E grazie alle formazioni di canali confuse e costose, alle strane restrizioni sportive e ai contenuti sempre più esclusivi, la situazione non migliorerà presto.

(how-top)