2021-01-15 07:41:34 -08:00
|
|
|
#!/bin/bash
|
|
|
|
[[ ! $1 ]] && echo "no editor set, usage restart <editor>" && exit
|
|
|
|
SDIR=$(cd $(dirname $(readlink -f "$0")) >/dev/null 2>&1 ; pwd -P)
|
2022-04-26 18:30:12 -07:00
|
|
|
source $SDIR/stop $editor
|
|
|
|
source $SDIR/start $editor
|