#!/bin/bash

archSystems=(
  musik
  raspi
  nlopc43
)

debianSystems=(
  router
)

cruxSystems=(
  localhost
  fileserver
)

hasSudo["localhost"]=true
hasSudo["nlopc43"]=true