PROJET AUTOBLOG


Planet-Libre

source: Planet-Libre

⇐ retour index

Nizar Kerkeni : Faire le ménage dans son répertoire personnel

vendredi 13 janvier 2017 à 16:42

Broom IconVoici 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 :

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 {} \\;

share this

Gravatar de Nizar Kerkeni
Original post of Nizar Kerkeni.Votez pour ce billet sur Planet Libre.