For magproductions I needed a debian package of our “own version” of Eclipse (latest Eclipse with certain plugins pre-installed).
I changed the install into a few
mkdir -p and
cp -r commando’s and the clean into a
rm -r command. That’s basically it. I didn’t think it would be that simple.