[bruit] Astuce

Bonjour,

une petite astuce à partager aujourd'hui :

Pour rechercher un fichier aussi bien sur un disque local que sur un disque externe, (il faut au préalable avoir créé l'index du disque externe, ici "Disqueexterne") voici un petit script qui permet de chercher un mot ou deux sans se soucier de la casse, ensuite avec gnome-terminal il suffit de faire ctrl-clic et le fichier s'ouvre avec l'application par défaut.

#!/bin/bash

if [ $2 ] then locate -d /home/patrice/Disqueexterne:/var/lib/mlocate/mlocate.db -i $1 |grep -i $2 | sed -e 's/^/file:///;s/ /%20/g' fi

if [ -z $2 ] then locate -d /home/patrice/Disqueexterne:/var/lib/mlocate/mlocate.db -i $1 | sed -e 's/^/file:///;s/ /%20/g' fi

À bientôt, Patrice Reich