#!/bin/bash bot_up() { "$WEBSITE_ROOT"/support/bot_up; } get_prop() { "$WEBSITE_ROOT"/support/get_prop "$1"; } sidebar() { echo """ "; }