diff options
author | Vijay A <vraravam@users.noreply.github.com> | 2024-02-17 22:17:16 +0530 |
---|---|---|
committer | Vijay Aravamudhan <vraravam@users.noreply.github.com> | 2024-02-17 16:49:07 +0000 |
commit | f293e12e7c1bf2e6cf9cd3f5697b33cb81030de2 (patch) | |
tree | 9287bf134f5bd0b960cc7c01a87c7aea77c14c6f /CONTRIBUTING.md | |
parent | chore: fix notification "option" clone (#1580) (diff) | |
download | ferdium-app-f293e12e7c1bf2e6cf9cd3f5697b33cb81030de2.tar.gz ferdium-app-f293e12e7c1bf2e6cf9cd3f5697b33cb81030de2.tar.zst ferdium-app-f293e12e7c1bf2e6cf9cd3f5697b33cb81030de2.zip |
fix docker build and related documentation
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index deee1b60d..6de52e863 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md | |||
@@ -130,7 +130,7 @@ If you want to copy them outside of the image, simply mount a volume into a diff | |||
130 | ```bash | 130 | ```bash |
131 | DATE=`date +"%Y-%b-%d-%H-%M"` | 131 | DATE=`date +"%Y-%b-%d-%H-%M"` |
132 | mkdir -p ~/Downloads/$DATE | 132 | mkdir -p ~/Downloads/$DATE |
133 | docker run -e GIT_SHA=`git rev-parse --short HEAD` -v ~/Downloads/$DATE:/ferdium-out -it ferdium-package sh | 133 | docker run -e GIT_SHA=`git rev-parse --short HEAD` -v ~/Downloads/$DATE:/ferdium-out -it ferdium-package-`uname -m` sh |
134 | # inside the container: | 134 | # inside the container: |
135 | mv /ferdium/Ferdium-*.AppImage /ferdium-out/Ferdium-$GIT_SHA.AppImage | 135 | mv /ferdium/Ferdium-*.AppImage /ferdium-out/Ferdium-$GIT_SHA.AppImage |
136 | mv /ferdium/ferdium-*.tar.gz /ferdium-out/Ferdium-$GIT_SHA.tar.gz | 136 | mv /ferdium/ferdium-*.tar.gz /ferdium-out/Ferdium-$GIT_SHA.tar.gz |