Bij deze een topic om je tips te plaatsen die het leven op de CLI wat kunnen vergemakkelijken
Wat aanpassingen voor je ~/.bashrc
Vergroot het aantal regels dat in de bash history bijgehouden wordt door de onderstaande variabelen aan te passen. Ik heb ze hier op 100000 staan, dat moet ruim genoeg zijn voor de komende jaren
HISTSIZE=100000
HISTFILESIZE=100000
Voeg de datum en tijd toe aan de history, zodat je kan zien wanneer je iets uitgevoerd hebt. Voeg dit toe:
HISTTIMEFORMAT='%Y-%m-%d %H:%M:%S - '
In plaats van
1999 echo "hallo wereld" komt er zoiets te staan:
1999 2013-03-16 11:47:16 - echo "hallo wereld"Sla de history direct op nadat je een commando uitgevoerd hebt, in plaats van dat alles in 1 keer opgeslagen wordt zodra je de terminal afsluit:
PROMPT_COMMAND='history -a'
toevoegen.
Deze staat er al in sinds Ubuntu 12.04 geloof ik:
# Add an "alert" alias for long running commands. Use like so:
# sleep 10; alert
alias alert='notify-send --urgency=low -i "$([ $? = 0 ] && echo terminal || echo error)" "$(history|tail -n1|sed -e '\''s/^\s*[0-9]\+\s*//;s/[;&|]\s*alert$//'\'')"'
Je kan de "alert" alias toevoegen na een langdurend commando, zodat wanneer die klaar is je een mooie notificatie te zien krijgt met de status van dat commando. Zodat je meteen ook kan zien of er fouten waren of niet.
Heb je nog meer handige tips voor de terminal? Plaats ze hier
Heb je langere stukken code, plaats ze dan in het topic over
scripts.