Compañeros respetados,
Estoy usando una herramienta de verificación formal ProofPower en Ubuntu 12.04, pero no sé cómo puedo configurar una RUTA o variables de entorno en Ubuntu 12.04.
La ruta de mi contenedor de ProofPower es: /home/username/pp/bin/
gracias de antemano
Respuesta1
Bastante fácil: la línea que necesitas es simplemente
export VARIABLE=VALUE
en tu caso
export PATH=$PATH::/home/username/pp/bin/
el significado debe ser sencillo: estás agregando una entrada a tu RUTA. es posible que desee agregarlo a su archivo de configuración de shell .bashrc (o .zshrc) si desea cambiar solo la RUTA de un usuario y, de lo contrario, es posible que desee echar un vistazo a los archivos de configuración generales como /etc/profile.