1#!/bin/sh 2# 3# SPDX-License-Identifier: GPL-2.0-only 4# 5# Gnome terminal won't tell us which PID a given command is run as 6# or allow a single instance so we can't tell when it completes. 7# This allows us to figure out the PID of the target so we can tell 8# when its done. 9# 10echo $$ > $1 11shift 12exec $@ 13