summaryrefslogtreecommitdiff
path: root/src/skribilo.in
diff options
context:
space:
mode:
authorLudovic Courtes2006-01-08 17:13:42 +0000
committerLudovic Courtes2006-01-08 17:13:42 +0000
commit20e5a989999ca11d68bf90417402c60c275dd0cc (patch)
tree4235ac0b0d6aeefa48ad463c62894d8af72caa66 /src/skribilo.in
parent16077267f2b9018ce714d0b22c684e6addac9db9 (diff)
downloadskribilo-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.in2
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)))" "$@"