Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
faq_astuce [Le 15/11/2015, 10:46] bcag2 [Astuces (fidji)] |
faq_astuce [Le 25/09/2022, 16:03] (Version actuelle) Amiralgaby [Astuces (le_biloute)] amélioration du script |
||
---|---|---|---|
Ligne 19: | Ligne 19: | ||
Appuyez sur <Entrée> pour valider la commande ou bien sur Tab ou encore la flèche droite pour l'éditer et pouvoir ainsi la modifier avant de l'exécuter. | Appuyez sur <Entrée> pour valider la commande ou bien sur Tab ou encore la flèche droite pour l'éditer et pouvoir ainsi la modifier avant de l'exécuter. | ||
---- | ---- | ||
- | Recherche dans l'historique des commandes lancées dans le terminal | + | Recherche dans l'historique des commandes lancées dans le terminal |
<code>history | grep ChaineRecherchée</code> | <code>history | grep ChaineRecherchée</code> | ||
---- | ---- | ||
Ligne 26: | Ligne 26: | ||
Saisissez le texte et <Ctrl+d> pour valider | Saisissez le texte et <Ctrl+d> pour valider | ||
==== Astuces (senethri1) ==== | ==== Astuces (senethri1) ==== | ||
- | La complétion permet de compléter une commande ou un chemin d'accès en appuyant sur <Tab>. S'il y a plusieurs choix possibles appuyez sur <Tab> à nouveau pour obtenir la liste. | + | La complétion permet de compléter une commande ou un chemin d'accès en appuyant sur <Tab>. S'il y a plusieurs choix possibles appuyez sur <Tab> à nouveau pour obtenir la liste. |
Vous pouvez avoir une complétion plus "intelligente" en utilisant /etc/bash_completion. Pour ce faire décommenter la section correspondante dans /etc/bash.bashrc. | Vous pouvez avoir une complétion plus "intelligente" en utilisant /etc/bash_completion. Pour ce faire décommenter la section correspondante dans /etc/bash.bashrc. | ||
Ligne 48: | Ligne 48: | ||
Si vous voulez sauvegarder vos fichiers de configurations (ces fichiers qui commencent par . dans votre home) alors je vous propose ce script: | Si vous voulez sauvegarder vos fichiers de configurations (ces fichiers qui commencent par . dans votre home) alors je vous propose ce script: | ||
<code>#!/bin/bash | <code>#!/bin/bash | ||
- | if ! [ -e $HOME/backup-dotfiles-$(date +%d-%m-%Y).tgz ] ; then | + | |
- | tar c -C $HOME -z -f $HOME/backup-dotfiles-$(date +%d-%m-%Y).tgz $(find $HOME -maxdepth 1 -type f -name '\.*[^~]' -print0 \ | + | PATH_OF_ARCHIVE="$HOME/backup-dotfiles-$(date +%d-%m-%Y).tgz" |
- | | while read -d $'\0' i ; do echo "${i##*/}" ; done) > /dev/null 2>&1 | + | if ! [ -e "$PATH_OF_ARCHIVE" ] |
+ | then | ||
+ | tar c -C "$HOME" -z -f "$PATH_OF_ARCHIVE" $(find "$HOME" -maxdepth 1 -type f -name '\.*[^~]' -exec basename {} \;) | ||
else | else | ||
- | echo "$HOME/backup-dotfiles-$(date +%d-%m-%Y).tar.gz existe deja :)" && exit 1 | + | echo "$PATH_OF_ARCHIVE existe deja :)" && exit 1 |
fi</code> | fi</code> | ||
Libre à vous de le modifier. | Libre à vous de le modifier. |