#!/bin/sh
[ -r "/etc/os-release" ] && . /etc/os-release

echo "${PRETTY_NAME:-Debian} with Linux $1"
[ -z "$2" ] || echo "($2)"
