| Nico Huber | c0b52db | 2022-12-15 12:42:32 +0000 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | |||||
| Nico Huber | c3b02dc | 2023-08-12 01:13:45 +0200 | [diff] [blame] | 3 | cd /home/mani/flashprog/ |
| Nico Huber | c0b52db | 2022-12-15 12:42:32 +0000 | [diff] [blame] | 4 | |
| 5 | if [ $# -eq 0 ]; then | ||||
| 6 | exec "${DEVSHELL}" | ||||
| 7 | else | ||||
| 8 | exec "${DEVSHELL}" -c "$*" | ||||
| 9 | fi | ||||