#!/bin/sh
[ -f "/etc/os-release" ] && . /etc/os-release
[ -z "$PRETTY_NAME" ] && PRETTY_NAME=Debian

echo "$PRETTY_NAME with Linux $1"
[ -z "$2" ] || echo "($2)"
