Create install_devtools.sh

2020-04-28 21:45:49 +02:00
parent 56a676d075
commit b5d174a18d
1 changed files with 10 additions and 0 deletions
--- a/nodered/scripts/install_devtools.sh
+++ b/nodered/scripts/install_devtools.sh
@ -0,0 +1,10 @@
+#!/bin/bash
+set -ex
+
+# Installing Devtools
+if [[ ${TAG_SUFFIX} != "minimal" ]]; then
+  echo "Installing devtools"
+  apt-get install --no-cache --virtual devtools build-base linux-headers udev python python3
+else
+  echo "Skip installing devtools"
+fi