diff options
| author | Ludovic Courtes | 2006-01-08 17:13:42 +0000 |
|---|---|---|
| committer | Ludovic Courtes | 2006-01-08 17:13:42 +0000 |
| commit | 20e5a989999ca11d68bf90417402c60c275dd0cc (patch) | |
| tree | 4235ac0b0d6aeefa48ad463c62894d8af72caa66 /src/skribilo.in | |
| parent | 16077267f2b9018ce714d0b22c684e6addac9db9 (diff) | |
| download | skribilo-20e5a989999ca11d68bf90417402c60c275dd0cc.tar.gz skribilo-20e5a989999ca11d68bf90417402c60c275dd0cc.tar.lz skribilo-20e5a989999ca11d68bf90417402c60c275dd0cc.zip | |
Cleaning the compatibility module and other annoyances.
* src/skribilo.in: Catch exceptions and call `(exit 1)' when caught.
* doc/user/Makefile.am (skribilo): Fixed.
* src/guile/skribilo.scm: Updated copyright year.
* src/guile/skribilo/compat.scm: Moved to `utils'.
* src/guile/skribilo/Makefile.am (dist_guilemodule_DATA): Removed
`compat.scm'.
* src/guile/skribilo/Makefile.am (dist_guilemodule_DATA): Added
`compat.scm'.
* src/guile/skribilo/coloring/lisp.scm: Use `(skribilo utils syntax)'.
* src/guile/skribilo/module.scm (%skribilo-user-imports): Import
`(skribilo utils compat)' instead of `(skribilo compat)'.
Added more triggering procedures for `(skribilo source)'.
* src/guile/skribilo/skribe/api.scm: Moved the definition of a
Skribe-compatible `gensym' to `compat.scm'.
* src/guile/skribilo/source.scm: Use `*source-path*' instead of
`skribe-source-path'.
git-archimport-id: lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-19
Diffstat (limited to 'src/skribilo.in')
| -rwxr-xr-x[-rw-r--r--] | src/skribilo.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/skribilo.in b/src/skribilo.in index 5508e10..4b77c5e 100644..100755 --- a/src/skribilo.in +++ b/src/skribilo.in @@ -3,5 +3,5 @@ main='(module-ref (resolve-module '\''(skribilo)) '\'main')' exec ${GUILE-@GUILE@} --debug \ - -c "(apply $main (cdr (command-line)))" "$@" + -c "(catch #t (lambda () (apply $main (cdr (command-line)))) (lambda (key . args) (format (current-error-port) \"exception \`~a' raised~%\" key) (exit 1)))" "$@" |