Forum Ubuntu-fr.org / [script] fonction pour trouver des pdf en un clin d'œil sur la machine

Réponse à : [script] fonction pour trouver des pdf en un clin d'œil sur la machine

dummy@example.com (nesthib) — Mon, 16 Jan 2012 08:34:53 +0000

Salut sputnick!

effectivement, j'ai rajouté le filtre pour le ${HOME} au dernier moment puis j'ai corrigé pour ${HOME//\//\/} qui donne le résultat attendu

Réponse à : [script] fonction pour trouver des pdf en un clin d'œil sur la machine

dummy@example.com (sputnick) — Mon, 16 Jan 2012 02:38:55 +0000

Salut nesthib !

attention, les chemins genre

/\/home\/nesthib

devraient plutôt être placés dans une variable en debut de script, nan ?

Ou bien un truc plus passe partout :

 awk -F/ "/\/home\/$USER/ && ! _[$NF]++"

[script] fonction pour trouver des pdf en un clin d'œil sur la machine

dummy@example.com (nesthib) — Mon, 16 Jan 2012 02:31:07 +0000

J'ai fait cette fonction à l'origine pour afficher la doc de texlive et proposer de choisir le document à ouvrir dans un menu interactif, mais elle est facilement adaptable au besoins de chacun.
Voici donc une version qui permet de chercher des documents dans le /home de l'utilisateur avec un motif à rechercher en premier argument et l'extension en second argument (par défaut des pdf)

installation : à ajouter dans votre ~/.bashrc et ouvrir un nouveau terminal

find_doc [motif] [extension]

find_doc() {
    [ $# -lt 2 ] && ext="pdf" || ext="$2"
    oldIFS=${IFS} ; IFS=$'\n'
    FILE=( $(locate "*$1*.${ext}" | awk -F/ "${HOME//\//\/}"'&& ! _[$NF]++') )
    IFS=${oldIFS}
    [ ${#FILE[*]} -gt 1 ] && {
    for index in ${!FILE[*]}
    do
        printf "%4d: %s\n" $(($index+1)) "${FILE[$index]}"
    done
    while read -p 'file to open: ' answer
    do
        [ ${answer:-0} = empty ] 2>/dev/null && { FILE=${FILE[0]} ; echo "1: $FILE" ; break ; }
        [ ${answer} -eq 0 ] 2>/dev/null && { FILE=${FILE[0]} ; echo "2: $FILE" ; break ; }
        [ ${answer} -le ${#FILE[*]} ] 2>/dev/null && { FILE=${FILE[$(( ${answer}-1 ))]} ; echo "3: $FILE" ; break ;}
    done
    }
    echo $FILE
    [ -f "${FILE}" ] && gnome-open "$FILE" &
}