Cheat sheet: the HMT Docker container
Start the container
docker run -ti --name hmt -v $(pwd):/workspace neelsmith/hmteditor
When you’re done working, from the bash shell, just exit
. (Remember that if you’re in an sbt console, you need to quit that first, with :quit
.)
Exiting the shell stops the container.
Resuming work
To resume work in a stopped container, first restart the container:
docker restart hmt
then run a bash sh (/bin/bash
) in the restarted container:
docker exec -ti hmt /bin/bash
Optional short cuts
In bash, you can put two commands together with &&
, for example,
docker restart hmt && docker exec -ti hmt /bin/bash
You can define a short cut, or alias, for those commands in a configuration file (named .bash_profile
in OS X, or .bashrc
in Windowsn and Linux). Here’s an example defining a short cut named dbash
:
alias dbash='docker restart hmt && docker exec -ti hmt /bin/bash
The next time you start a bash terminal, you can use the command dbash
instead of the long comand sequence. If you want to use the alias immediately, run source .bash_profile
or source .bashrc
.