#!/bin/sh set -e link_file() { echo "[0|$1|$2|server|port]" } link_ext() { echo "[1|$1|$2|$3|port]"n } link_www() { echo "[h|$1|URL:$2|server|port]" } header() { lin="$(echo " $@ " | sed 's/./═/g')" cat <