$ROOTCMD apt-get -y install python3-sphinx-rtd-theme
fi
+if ! type -p curl &>/dev/null; then
+ $ROOTCMD apt-get -y install curl
+fi
+if ! type -p wget &>/dev/null; then
+ $ROOTCMD apt-get -y install wget
+fi
+
## If we need to use a dev version temporarily, this to true
## and copy it over in fai-redep. See comment there.
./configure --prefix=/usr
make
make install
-mv /usr/bin/{fsck,mkfs}.btfs /usr/sbin/
+mv /usr/bin/{fsck,mkfs}.btrfs /usr/sbin/
EOF
# If our desktop is HOST2, will we btrbk this latest bprogs to other
# machines.