#!/bin/sh
set -eu

gnome-terminal --geometry=80x25  -e "./drl -console"
