#!/bin/bash

archSystems=(
  musik
  raspi
  nlopc43
)

debianSystems=(
  router
)

cruxSystems=(
  localhost
  fileserver
)