From 98b06986d6fa1a2e5142084849f04bf431289c33 Mon Sep 17 00:00:00 2001 From: garciadeblas Date: Fri, 24 Feb 2023 15:30:59 +0100 Subject: [PATCH] Remove unused docker_command.sh script Change-Id: Ic4ef4691b35f2856c74a015acd4ee5d5e6295656 Signed-off-by: garciadeblas --- docker_command.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 docker_command.sh diff --git a/docker_command.sh b/docker_command.sh deleted file mode 100755 index 52e7824..0000000 --- a/docker_command.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh -#helper routine that creates user/group in docker container -#necessary when using volumes and inputing -user into docker run -groupadd -o -g $(id -g) -r $2 -useradd -o -u $(id -u) --create-home -r -g $2 $1 -shift 2 -exec $@ -- 2.25.1