Ce site fonctionne mieux avec JavaScript.
Accueil
Explorateur
Aide
Connexion
rinri
/
dmenu-rinri
Suivre
1
Ajouter aux favoris
0
Bifurcation
0
Code
Tickets
0
Demandes d'ajout
0
Versions
0
Wiki
Activité
Parcourir la source
made dmenu_path the way anydot proposed in response to Jukka
master
Anselm R. Garbe
il y a 17 ans
Parent
8b633bf17d
révision
dfe95cb546
1 fichiers modifiés
avec
8 ajouts
et
15 suppressions
Vue séparée
Option de Diff
Voir les Statistiques
Télécharger le Fichier Patch
Télécharger le Fichier des Différences
+8
-15
dmenu_path
+ 8
- 15
dmenu_path
Voir le fichier
@@ -1,22 +1,15 @@
#!/bin/sh
CACHE=$HOME/.dmenu_cache
UPTODATE=1
IFS=:
uptodate() { [ $UPTODATE -eq 1 ]; }
if test ! -f $CACHE
then
UPTODATE=0
fi
if uptodate
then
for dir in $PATH
do
test $dir -nt $CACHE && { UPTODATE=0; break; }
done
fi
uptodate() {
test ! -f $CACHE && return 1
for dir in $PATH
do
test $dir -nt $CACHE && return 1
done
return 0
}
if ! uptodate
then
Écrire
Aperçu
Chargement…
Annuler
Enregistrer