Rename misc files

2026-08-01 08:08:00 +02:00 · 2016-04-14 10:20:23 -07:00
parent 214343ed6a
commit ae6f1c62f1
19 changed files with 82 additions and 81 deletions
@@ -3,12 +3,12 @@ production:
  ports:
    - "443:443"

-# For development, mount git root to /opt/letsencrypt/src in order to
+# For development, mount git root to /opt/certbot/src in order to
 # make the dev workflow more vagrant-like.
 development:
  build: .
  ports:
    - "443:443"
  volumes:
-    - .:/opt/letsencrypt/src
-    - /opt/letsencrypt/venv
+    - .:/opt/certbot/src
+    - /opt/certbot/venv