index_title=Interfaz de Comandos Shell
index_ok=Ejecutar comando:
index_history=Historial de comandos
index_clear=Limpiar historial
index_desc=Digita un comando de shell de Unix a ejecutar en la caja de texto inferior. El comando <tt>cd</tt> se puede usar para cambiar de directorio a los siguientes comandos.

acl_user=Ejecutar comando como usuario
