diff --git a/.local/bin/pull-emacs-tide b/.local/bin/pull-emacs-tide new file mode 100755 index 0000000..75606cb --- /dev/null +++ b/.local/bin/pull-emacs-tide @@ -0,0 +1,7 @@ +#! /usr/bin/sh + +docker run \ + --rm \ + --volume /home/ohad/Sync/docker:/shared \ + emacs_compile:latest \ + sh -c "cp /src/emacs-tide*_amd64.deb /shared"