unneeded file

6 years ago · 22d4825e2c
1 changed files with 0 additions and 12 deletions
--- a/Readme.docker
+++ b/Readme.docker
@ -1,12 +0,0 @@
 my mac has a case-insensitive filesystem, so I built a case sensitive one and mounted it as /Volumes/sensitive.
 create a docker instance and put tools into it
 docker run -d --name ubuntu -v /Volumes/IronKey:/sensitive -ti ubuntu /bin/bash
 docker exec ubuntu /bin/bash -c 'apt update ; apt-get install -y make gcc'
 docker attach ubuntu
 inside it:
 	cd /sensitive/src/RomWBW
 	make