pequeño menu para los repositorios GIT

.pdmenurc

#!/usr/bin/pdmenu

#sencillo menu para usar con la utilidad pdmenu http://joeyh.name/code/pdmenu/ que permite hacer un menu en la terminal de linux.
# en ubuntu se instala con apt install pdmenu
# este archivo va en el directorio home del usuario
# version mejorada con submenus y accesos ssh usando la terminal de gnome.

#colores
color:desktop:blue:blue
color:title:blue:white
color:base:blue:white
#Define the main menu:
menu:main:Main Menu
	# This ties in with Debian's autogenerated Apps menu.
    show:_Git..::gitmenu
    show:_Ssh..::sshmenu
	exec:_ultimos cambios:display:~/scripts/ultimosmodificados.sh
	exec:_Change directory:edit,setenv:echo PWD=~set to?:~
	exec:TOP::htop
    exec:Abrir bibliotecas.uncuyo.edu.ar::shbiblio
	nop
	exit:Salida

 menu:gitmenu:Git Menu:Algunas opciones de git
    exec:git _push:display:git push
    exec:git log:display:git log
    exec:git status:display:git status
    exec:git pullremoto:display:./pullremoto.sh
menu:sshmenu:SSH Menu:Algunas opciones de ssh
    exec:SSH .21::ssh desarrollo@172.22.40.21
    exec:SSH virtual::gnome-terminal -e "ssh desarrollo@172.22.40.25"
    exec:SSH bd2remota::gnome-terminal -e "ssh -p3107 thor@bdigital2.uncu.edu.ar"
    exec:shssd::gnome-terminal -e "ssh desarrollo@172.22.40.12"

llamar el pdmenu con la opción -c para presentarlo en colores.