diff --git a/install.zsh b/install.zsh index 901b408..1ec5255 100755 --- a/install.zsh +++ b/install.zsh @@ -120,6 +120,10 @@ function at-repos-pull() { cd .. fi done + # Copy feed-generator Dockerfile if missing (removed by git checkout) + if [ ! -f $d/repos/feed-generator/Dockerfile ] && [ -f $d/docker/feed/Dockerfile ];then + cp -rf $d/docker/feed/Dockerfile $d/repos/feed-generator/ + fi cd $d }