diff options
| author | Moritz Kiefer <moritz.kiefer@purelyfunctional.org> | 2018-11-08 17:53:29 +0100 |
|---|---|---|
| committer | Moritz Kiefer <moritz.kiefer@purelyfunctional.org> | 2018-11-08 17:53:29 +0100 |
| commit | 0266996a8db7cc41c7951fda993fe8eb7c386695 (patch) | |
| tree | 1b060ad19fc553175d014f2f5f990c3cc688be9e /pkgs/development/python-modules/httpserver | |
| parent | 6742bdc84595525f8aedc11553493fef70621c31 (diff) | |
agda: use writeShellScriptbin instead of writeScriptBin
This adds the shell shebang to the wrapper script. Without this,
emacs and in particular agda2-mode (but probably other applications as
well) return a format error when trying to execute agda.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions