10 Dec 2024 Search

To start a command a new tab, use the --tab command-line option to gnome-terminal, along with -- to separate the gnome-terminal options from the options passed to the command being run.

The script for previewing this site locally uses separate tabs for the devd process and for the script that re-runs make when a file changes.

#!/usr/bin/bash

set -e

trap popd EXIT
pushd $PWD
cd $(dirname "$0")

run_in_tab ()
{
    gnome-terminal --tab -- $*
}

make cleanhome # remove indexes, home page, feeds
make -j
run_in_tab devd --port 8088 public
run_in_tab code/makewatch -j pages

More: colophon