Rename Dockerfile.user to Dockerfile.devel

This commit renames the `Dockerfile.user` file, which builds the "Developer Image," to `Dockerfile.devel` in order to remove any ambiguity. Signed-off-by: Stephanos Ioannidis <root@stephanos.io>
zephyrproject-rtos · Feb 7, 2023 · b1ffcd2 · b1ffcd2
1 parent b348a4c
commit b1ffcd2
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -142,7 +142,7 @@ jobs:
  uses: docker/build-push-action@v3
  with:
  context: .
- file: Dockerfile.user
+ file: Dockerfile.devel
  platforms: ${{ matrix.variant.platform }}
  push: true
  tags: ${{ steps.meta_developer.outputs.tags }}

diff --git a/Dockerfile.user → Dockerfile.devel b/Dockerfile.user → Dockerfile.devel
diff --git a/README.md b/README.md
@@ -46,7 +46,7 @@ docker run -ti -v $HOME/Work/zephyrproject:/workdir \
 The developer docker image can be built using the following command:
 
 ```
-docker build -f Dockerfile.user --build-arg UID=$(id -u) --build-arg GID=$(id -g) -t zephyr-build:v<tag> .
+docker build -f Dockerfile.devel --build-arg UID=$(id -u) --build-arg GID=$(id -g) -t zephyr-build:v<tag> .
 ```
 
 It can be used for building Zephyr samples and tests by mounting the Zephyr workspace into it: