Nizar Kerkeni : Faire le ménage dans son répertoire personnel
vendredi 13 janvier 2017 à 16:42Voici un petit script shell qui permet de supprimer des fichiers inutiles dans mon répertoire personnel. Je lance ce script régulièrement avant d’effectuer la synchronisation de mes répertoires de travail avec mon disque externe.
Ce script recherche des fichiers dans mon répertoire personnel qui ne sont pas intéressants à sauvegarder et les supprime. Dans la version ci-dessous les fichiers supprimés sont :
- Les fichiers avec extension « aux » : fichiers auxiliaires de référence pour LaTeX.
- Les fichiers core : faut-il présenter ces fameux fichiers core ?
- Les fichiers qui se terminent par « ~ » ou « # » : généralement des fichiers temporaires de sauvegarde générés par différents éditeurs de texte.
Chacun, selon son utilisation peut ajouter ou supprimer d’autres types de fichiers dans le script.
Attention ce script supprime des fichiers et il sera impossible de les récupérer il faut l’utiliser avec précaution.
#! /bin/sh
find $HOME -type f \\( -name "*.aux" -or -name "core" -or -name "*~" -or -name "*\\#" \\) -exec /bin/rm -f {} \\;
Original post of Nizar Kerkeni.Votez pour ce billet sur Planet Libre.
Articles similaires
- theClimber : Trics & Tips : configurer son client ssh (17/06/2009)
- theClimber : Arrêtez de spammer vos amis avec vos tests (06/04/2009)
- Samuel Martin : Quelques outils utiles pour django sous Ubuntu - "Debugging" (20/01/2010)
- ®om : Chiffrer son dossier personnel (/home) sous Ubuntu (16/05/2010)
- Malangot : [STREAMER] – Outils de capture video (08/08/2011)