#!/bin/sh

sudo_verbose() {
    echo "$@"
    sudo "$@"
}

pid="$1"
cmd="$2"

sudo_verbose gdb -p "$pid" -ex "p $2" -ex detach -ex quit