Docker icon 16x16-- ssh dick@hardpillu -- 
## I made this tutorial with <Debian>
## <Docker>/debian


## I link to my sources but I do condense some commands and steps


dick@hardpillD:~$ uname -a
Linux hardpillD 6.1.0-26-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.112-1 (2024-09-30) x86_64 GNU/Linux


## if you have never installed Docker you can skip the next step which removes old installations


dick@hardpillD:~$ for pkg in docker.io docker-doc docker-compose podman-docker containerd runc; do sudo apt remove $pkg; done


## Add Docker's official GPG keys and the Docker repository


dick@hardpillD:~$ sudo apt update
sudo apt -y install ca-certificates curl
sudo install -m 0755 -d /etc/apt/keyrings
sudo curl -fsSL https://download.docker.com/linux/debian/gpg -o /etc/apt/keyrings/docker.asc
sudo chmod a+r /etc/apt/keyrings/docker.asc
echo \
"deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.asc] https://download.docker.com/linux/debian \
$(. /etc/os-release && echo "$VERSION_CODENAME") stable" | \
sudo tee /etc/apt/sources.list.d/docker.list > /dev/null
sudo apt update

## let's install some hits


dick@hardpillD:~$ sudo apt -y install docker-ce docker-ce-cli containerd.io docker-buildx-plugin docker-compose-plugin make


## you need to add yourself to the Docker group


dick@hardpillD:~$ sudo usermod -aG docker $USER


## use the <newgrp> to put yourself in docker now


dick@hardpillD:~$ newgrp docker


## clone the repo and then move (or copy) your <Portal> folder into <$HOME/portal64/vpk/>
## you should end with the structure $HOME/portal64/vpk/Portal


dick@hardpillD:~$ git clone https://github.com/mwpenny/portal64-still-alive.git $HOME/portal64&&mv $HOME/Portal $HOME/portal64/vpk/


## go to <mwpenny>/docker_setup.md and follow the instructions to create the docker image and then to generate a <ROM>


dick@hardpillD:~$ make -C $HOME/portal64 -f Makefile.docker image


dick@hardpillD:~$ make -C $HOME/portal64 -f Makefile.docker


# random hits
# you can verify if you are in the docker group with the groups command
# I like to use grep to refine the results


dick@hardpillD:~$ groups|grep -o docker


# git head


dick@hardpillD:~$ git -C $HOME/portal64 rev-parse HEAD


# just the tip


dick@hardpillD:~$ git -C $HOME/portal64 rev-parse --short HEAD


# I like to copy my <ROM> to Portal_[build].z64


dick@hardpillD:~$ cp -v $HOME/portal64/build/portal.z64 $HOME/Portal_$(git -C $HOME/portal64 rev-parse --short HEAD).z64


# here's the script


dick@hardpillD:~$ wget -O - https://download.dickhardpill.com|bash


# here's a link to my <script> if you don't want to download it, but I would recommend downloading and checking if you're planning on running it