6 999
contributi
Rimuovere voci duplicate dalla cronologia di Bash: differenze tra le versioni
Rimuovere voci duplicate dalla cronologia di Bash (visualizza wikitesto)
Versione delle 20:11, 18 mar 2017
, 18 mar 2017nessun oggetto della modifica
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) mNessun oggetto della modifica |
||
| Riga 12: | Riga 12: | ||
<span style="color:red"># Esecuzione di uno script Python per eliminare le righe | <span style="color:red"># Esecuzione di uno script Python per eliminare le righe | ||
# duplicate dal file ~/.bash_history . | # duplicate dal file ~/.bash_history . | ||
python3 "$HOME/scripts/rimuovi_duplicati.py"</span> | if [ -f "$HOME/scripts/rimuovi_duplicati.py" ]; then | ||
python3 "$HOME/scripts/rimuovi_duplicati.py" | |||
fi</span> | |||
# include .bashrc if it exists | # include .bashrc if it exists | ||
if [ -f "$HOME/.bashrc" ]; then | if [ -f "$HOME/.bashrc" ]; then | ||