#!/bin/sh # To add this repository please do: if [ "$(whoami)" != "root" ]; then SUDO=sudo fi ${SUDO} apt install wget ${SUDO} wget -qO- http://packages.deeproot.in/deeproot.asc | ${SUDO} tee /etc/apt/trusted.gpg.d/deeproot.asc ${SUDO} echo "deb [arch=amd64] https://packages.deeproot.in/ deeproot main" > /etc/apt/sources.list ${SUDO} apt update