From c981dcb473af537cc3554440ca6ad50bb855a9ed Mon Sep 17 00:00:00 2001 From: Simon Bruder Date: Sat, 25 May 2019 15:25:01 +0000 Subject: [PATCH] [zsh] docker-gimp no longer needed --- home/.zshrc.docker | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/home/.zshrc.docker b/home/.zshrc.docker index f193e94..d14ad79 100644 --- a/home/.zshrc.docker +++ b/home/.zshrc.docker @@ -15,20 +15,6 @@ function docker-imagecheck() { fi } -# gimp on host is very broken, so this is my (temporary) workaround -function docker-gimp() { - docker run --rm -it \ - -e DISPLAY \ - -e HOME=/home/gimp \ - -u $(id -u) \ - -v /tmp/.X11-unix:/tmp/.X11-unix \ - -v $PWD:/home/gimp/data/ \ - -v /tmp/:/home/gimp/tmp/ \ - -v ~/.local/share/gegl-0.4:/home/gimp/.local/share/gegl-0.4 \ - -v ~/.config/GIMP/:/home/gimp/.config/GIMP/ \ - jess/gimp $@ -} - function vobsub2srt() { docker run \ --rm \