abelgomez/greatspn repository overview

⁠Docker container for GreatSPN⁠ via SSH on Fedora

This Docker image is useful to run the DICE Simulation Tool⁠ locally.

It can be run in Linux, Windows, and MacOS X. See https://docs.docker.com/get-docker/⁠ for the Docker installation instructions.

⁠Building by your own (Optional)

Clone or copy the sources to your docker host and build the container:

$ git clone https://github.com/abelgomez/greatspn.docker.git 
$ cd greatspn.docker
$ docker build --tag abelgomez/greatspn .

⁠Running

To run the container binding the SSH server to port 2222 on the host, using the default user named user, and using the password secret, run:

$ docker run --name greatspn --detach --publish 2222:22 --env SSH_USERPASS=secret abelgomez/greatspn

It is also possible to customize the user name by setting the environment variable SSH_USERNAME:

$ docker run --name greatspn --detach --publish 2222:22 \
  --env SSH_USERNAME=otheruser --env SSH_USERPASS=secret abelgomez/greatspn

To build a container with a randomly generated password run (you can obtain the password via docker logs):

$ docker run --name greatspn --detach --publish 2222:22 abelgomez/greatspn
$ docker logs greatspn | grep 'ssh user password'
ssh user password: O2WXqqQ1CWwXHxrLZGip

*NOTE: Be sure that port 2222 is not being used by another service. In Windows it may happen that the port is free, but reserved. You can check reserved port ranges by running netsh int ipv4 show excludedportrange tcp in a command prompt.

⁠Stopping and cleaning

To stop the container, run:

$ docker stop greatspn

To remove the container, run (it must be stopped first):

$ docker rm greatspn

⁠Entering the container

To start an interactive shell in the container, run:

$ docker exec --interactive --tty greatspn bash

In Git for Windows it may be necessary to use the utility command winpty (this does not apply if running in command prompt or PowerShell):

$ winpty docker exec --interactive --tty greatspn bash

To connect to this container via SSH, run:

$ ssh -p 2222 user@localhost
user@localhost's password: 
[user@9313075ae42e ~]$