-
Notifications
You must be signed in to change notification settings - Fork 384
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[docker] Fix running docker container with existing volume
- Print some useful info message in the `entrypoint.sh` script file. - If the `workspace` directory already exists when the container started, try to run the given command with the owner of the workspace directory, otherwise run it with the `codechecker` user.
- Loading branch information
1 parent
40273a8
commit 8ff3666
Showing
1 changed file
with
17 additions
and
7 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters