Este sitio web funciona mejor con JavaScript.
Inicio
Explorar
Ayuda
Iniciar sesión
rinri
/
dmenu-rinri
Seguir
1
Destacar
0
Fork
0
Código
Incidencias
0
Pull Requests
0
Lanzamientos
0
Wiki
Actividad
Explorar el Código
applied anydot's dmenu_path caching patch, thank you!
master
Anselm R. Garbe
hace 17 años
padre
aa2f73fc88
commit
4042a11e51
Se han
modificado 1 ficheros
con
26 adiciones
y
5 borrados
Dividir vista
Opciones de diferencias
Mostrar estadísticas
Descargar archivo de parche
Descargar archivo de diferencias
+26
-5
dmenu_path
+ 26
- 5
dmenu_path
Ver fichero
@@ -1,9 +1,30 @@
#!/bin/sh
CACHE=$HOME/.dmenu_cache
UPTODATE=1
IFS=:
for dir in $PATH
do
for file in "$dir"/*
if test ! -f $CACHE
then
unset UPTODATE
fi
if test $UPTODATE
then
for dir in $PATH
do
test -x "$file" && echo "${file##*/}"
test
$dir -nt $CACHE && unset UPTODATE
done
done | sort | uniq
fi
if test ! $UPTODATE
then
for dir in $PATH
do
for file in "$dir"/*
do
test -x "$file" && echo "${file##*/}"
done
done | sort | uniq > $CACHE
fi
cat $CACHE
Escribir
Vista previa
Cargando…
Cancelar
Guardar