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 aggiungere un collegamento alle impostazioni della tastiera di Google nel cassetto app di Android

Google Keyboard ha un sacco di opzioni di personalizzazione, ma ogni modifica richiede un viaggio nel suo menu Impostazioni. Mentre c'è un modo semplice per accedere a questo menu dalla tastiera stessa, c'è anche un altro modo: attraverso l'icona dell'app nel cassetto app. Sfortunatamente, questo non è abilitato per impostazione predefinita, ma con un ultimo intervento nel menu Impostazioni, un semplice interruttore lo renderà possibile.

(how-top)

Qual è la differenza tra GPT e MBR quando partizionate un disco?

Configura un nuovo disco su Windows 10 o 8.1 e ti verrà chiesto se desideri utilizzare MBR (Master Boot Record ) o GPT (tabella delle partizioni GUID). Oggi spieghiamo la differenza tra GPT e MBR e ti aiutiamo a scegliere quello giusto per PC o Mac. GPT porta con sé molti vantaggi, ma MBR è ancora il più compatibile ed è ancora necessario in alcuni casi.

(how-top)