diff options
author | Yehonal <yehonal.azeroth@gmail.com> | 2022-11-07 13:20:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-07 13:20:48 +0100 |
commit | e4016823d7ee5e77aa6cb162a3eed584d7b35a87 (patch) | |
tree | e7f6d18ac7a28b6c097b999efed93bf7e052a505 /apps/bash_shared | |
parent | 6177ce4688fc34af7cebb0d47a15be1553fbffc1 (diff) |
feat(CORE): docker permissions and rework (#13454)
- fix docker permissions with mounted volumes on new docker versions (https://github.com/docker/desktop-linux/issues/31)
- fix ac-tools image
- cleanup unused env
- add `cap_add: SYS_NICE` to allow setting process high priority
- fix ccache in docker
- allow to switch between root user (default) to acore user in any container
- fix cache of the downloaded client data
- split docker github actions in 2 parts
- versioning mysql images
- performance improvements
Diffstat (limited to 'apps/bash_shared')
-rw-r--r-- | apps/bash_shared/common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/apps/bash_shared/common.sh b/apps/bash_shared/common.sh index c8d8880cf8..027a49bed3 100644 --- a/apps/bash_shared/common.sh +++ b/apps/bash_shared/common.sh @@ -9,7 +9,7 @@ USER_CONF_PATH=${USER_CONF_PATH:-"$AC_PATH_CONF/config.sh"} if [ -f "$USER_CONF_PATH" ]; then source "$USER_CONF_PATH" # should overwrite previous else - echo "NOTICE: file <$USER_CONF_PATH> has not been found, you should create and configure it." + echo "NOTICE: file <$USER_CONF_PATH> not found, we use default configuration only." fi # |