From 04b97735349dc42b430100cc12eef3ce242e805f Mon Sep 17 00:00:00 2001 From: Sergei Blinov Date: Mon, 23 Mar 2026 00:17:41 +0100 Subject: [PATCH] rename docker_run.py to nerd-patcher.py --- Dockerfile | 4 ++-- build.sh | 2 +- src/{docker_run.py => nerd-patcher.py} | 0 3 files changed, 3 insertions(+), 3 deletions(-) rename src/{docker_run.py => nerd-patcher.py} (100%) diff --git a/Dockerfile b/Dockerfile index 45b318b..22e759a 100644 --- a/Dockerfile +++ b/Dockerfile @@ -83,8 +83,8 @@ COPY --link nerd/glyphs . WORKDIR ${BUILD_DIR} COPY --link nerd/font-patcher . -COPY --link ./src/docker_run.py . -RUN chmod +x docker_run.py +COPY --link ./src/nerd-patcher.py . +RUN chmod +x nerd-patcher.py WORKDIR ${BUILD_DIR} diff --git a/build.sh b/build.sh index b000dfd..8dc5338 100755 --- a/build.sh +++ b/build.sh @@ -41,4 +41,4 @@ docker run --rm -t \ cd ${BUILD_DIR}/iosevka && \ bun run build -- ttf::${FONT_NAME} && \ cd ${BUILD_DIR} && \ - python3 docker_run.py" + python3 nerd-patcher.py" diff --git a/src/docker_run.py b/src/nerd-patcher.py similarity index 100% rename from src/docker_run.py rename to src/nerd-patcher.py