Fix recorddev

- It's supposed to run in the current shell, so `exit` is not a good
  idea.
- "$0" is not what you'd expect.