Public
Authored by Jose Tiago Macara Coutinho

deep for bash lovers

A bash utility to connect to ESRF deep devices.

Just save deep.sh in your home and in a bash shell type "source ~/.deep.sh".

To permanently add it to your console put "source ~/.deep.sh" into your ~/.bashrc file or copy the contents of deep.sh directly into ~/.bashrc.

deep.sh 133 Bytes
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment