@@ -137,8 +137,8 @@ behaviour.
137137### reset - Reset the Docker "sandbox"
138138
139139In order to preserve the contents of the in-container home directory between
140- runs, a special "sandbox" directory is volume-mounted into the container. `stack
141- docker reset` will reset that sandbox to its defaults.
140+ runs, a special "sandbox" directory is volume-mounted into the container.
141+ ` stack docker reset` will reset that sandbox to its defaults.
142142
143143Note: ` ~/.stack ` is separately volume-mounted, and is left alone during reset.
144144
@@ -323,8 +323,8 @@ Additional notes
323323### Volume-mounts and ephemeral containers
324324
325325Since filesystem changes outside of the volume-mounted project directory are not
326- persisted across runs, this means that if you `stack exec sudo apt-get install
327- some-ubuntu-package`, that package will be installed but then the container it's
326+ persisted across runs, this means that if you ` stack exec sudo apt-get install some-ubuntu-package ` ,
327+ that package will be installed but then the container it's
328328installed in will disappear, thus causing it to have no effect. If you wish to
329329make this kind of change permanent, see later instructions for how to create a
330330[ derivative Docker image] ( #derivative-image ) .
@@ -353,8 +353,8 @@ and publish port 3000.
353353
354354If you do want to do all your work, including editing, in the container, it
355355might be better to use a persistent container in which you can install Ubuntu
356- packages. You could get that by running something like `stack
357- --docker-container-name=NAME --docker-persist exec --plain bash`. This
356+ packages. You could get that by running something like
357+ ` stack --docker-container-name=NAME --docker-persist exec --plain bash` . This
358358means when the container exits, it won't be deleted. You can then restart it
359359using ` docker start -a -i NAME ` . It's also possible to detach from a container
360360while it continues running in the background using by pressing Ctrl-P Ctrl-Q,
@@ -419,8 +419,8 @@ Troubleshooting
419419### "No Space Left on Device", but 'df' shows plenty of disk space
420420
421421This is likely due to the storage driver Docker is using, in combination with
422- the large size and number of files in these images. Use `docker info|grep
423- 'Storage Driver'` to determine the current storage driver.
422+ the large size and number of files in these images. Use ` docker info|grep 'Storage Driver' `
423+ to determine the current storage driver.
424424
425425We recommend using either the ` overlay ` or ` aufs ` storage driver for stack, as
426426they are least likely to give you trouble. On Ubuntu, ` aufs ` is the default for
@@ -467,9 +467,8 @@ change to take effect:
467467<small >
468468The above commands turn off ` dnsmasq ` usage in NetworkManager
469469configuration and restart network manager. They can be reversed by executing
470- `sudo sed 's@#dns=dnsmasq@dns=dnsmasq@' -i
471- /etc/NetworkManager/NetworkManager.conf && sudo service network-manager
472- restart`. These instructions are adapted from
470+ ` sudo sed 's@#dns=dnsmasq@dns=dnsmasq@' -i /etc/NetworkManager/NetworkManager.conf && sudo service network-manager restart ` .
471+ These instructions are adapted from
473472[ the Shipyard Project's QuickStart guide] ( https://github.com/shipyard/shipyard/wiki/QuickStart#127011-dns-server-problem-on-ubuntu ) .
474473</small >
475474
0 commit comments