diff options
-rw-r--r-- | isa/isabelle-system.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 632bbee5..13d7d065 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -74,6 +74,10 @@ Returns non-nil if isa-isatool-command is valid." (defun isa-shell-command-to-string (command) "Like shell-command-to-string except the last character is stripped." + ;; FIXME: sometimes the command may fail. This will usually cause PG + ;; to break. Bit of an effort to trap errors here, we would need + ;; to provide some advice to shell-command-to-string to retain result + ;; of call to call-process, and raise and error in case it failed. (substring (shell-command-to-string command) 0 -1)) (defun isa-getenv (envvar &optional default) |