From 419eecbe72024d5df1f74056191641380fa9a882 Mon Sep 17 00:00:00 2001 From: Andrey Antukh Date: Wed, 9 Dec 2020 14:13:25 +0100 Subject: [PATCH] :bug: Fix wrong volume name on devenv and build scripts. --- docker/devenv/files/bashrc | 2 +- manage.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/devenv/files/bashrc b/docker/devenv/files/bashrc index 8b623d902..3f1ddd20b 100644 --- a/docker/devenv/files/bashrc +++ b/docker/devenv/files/bashrc @@ -1,6 +1,6 @@ #!/usr/bin/env bash -export PATH=$HOME/.local/bin:/usr/local/nodejs/bin:$PATH +export PATH=/usr/local/nodejs/bin:$PATH alias l='ls --color -GFlh' alias rm='rm -r' diff --git a/manage.sh b/manage.sh index b628f8328..480b8f800 100755 --- a/manage.sh +++ b/manage.sh @@ -62,7 +62,7 @@ function run-devenv { function build { pull-devenv-if-not-exists; - docker volume create $DEVENV_PNAME_user_data; + docker volume create ${DEVENV_PNAME}_user_data; docker run -t --rm \ --mount source=${DEVENV_PNAME}_user_data,type=volume,target=/home/penpot/ \ --mount source=`pwd`,type=bind,target=/home/penpot/penpot \