[Enhancement] Create a shell script alias in user's home directory

[signebedi]

It may make sense for us to create an alias in the user's home directory that will allow the user to easily play the game. This might be handled through an an initialization script that creates the game, a virtual environment to contain it, and writes some variant of the following

echo 'alias coliseum="source /PATH/TO/ENV/bin/activate && python -m coliseum && deactivate"' >> /home/$USER/.bashrc

[signebedi]

Something like:

#!/bin/bash

if [ $VIRTUAL_ENV ]

then
        pip install coliseum
        CMD=$(printf 'source %s/bin/activate && python -m coliseum && deactivate' $VIRTUAL_ENV)
        echo $CMD
        echo alias coliseum=\""$CMD"\" >> /home/$USER/.bashrc
else
        echo You are not running a virtualenv, we are creating one here...
        python3 -m venv venv || python36 -m venv venv || python -m venv venv || exit
        source $PWD/venv/bin/activate
        pip install coliseum
        CMD=$(printf 'source %s/bin/activate && python -m coliseum && deactivate' $VIRTUAL_ENV)
        echo $CMD
        echo alias coliseum=\""$CMD"\" >> /home/$USER/.bashrc
        deactivate
fi

And add some grep logic that skips all this if an alias for "coliseum" already exists in bashrc.

[signebedi]

Presumably we could set this up to install by default to /usr/local/games https://www.pathname.com/fhs/pub/fhs-2.3.html#USRLOCALLOCALHIERARCHY

I am not sure at this time what the security implications of creating a python venv in /usr/local/games may be. In addition, if the game is dropped into the PATH, do we really need to append an alias to /home/$USER/.bashrc?