blob: e0fa371085a41b79a408eec2f0d6965c6c6841ed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
  | 
#!/bin/sh
gdbs="$HOME/.cache/gdbs" 
command="$@"
if [ -z "$command" ]; then
    [ -f ] && command="$(cat "$gdbs" 2>/dev/null)"
    [ "$command" ] || exit 1
fi
gdbserver :4200 $command
echo "$command" > "$gdbs"
  |