annotate miscellany/mhe/mh-shell.ml @ 0:bce86c4163a3

Initial revision
author kono
date Mon, 18 Apr 2005 23:46:02 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
bce86c4163a3 Initial revision
kono
parents:
diff changeset
1 ; These functions are used to run shell commands and check for errors.
bce86c4163a3 Initial revision
kono
parents:
diff changeset
2 ; this file is loaded from mh-e with an explicit load command.
bce86c4163a3 Initial revision
kono
parents:
diff changeset
3 (defun
bce86c4163a3 Initial revision
kono
parents:
diff changeset
4 (send-to-shell pname progress
bce86c4163a3 Initial revision
kono
parents:
diff changeset
5 (save-excursion
bce86c4163a3 Initial revision
kono
parents:
diff changeset
6 (temp-use-buffer "mh-temp") (erase-buffer)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
7 (insert-string (arg 1))
bce86c4163a3 Initial revision
kono
parents:
diff changeset
8 (beginning-of-file) (setq progress -1)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
9 (while (& (! (eobp)) (< progress 50))
bce86c4163a3 Initial revision
kono
parents:
diff changeset
10 (beginning-of-line)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
11 (setq progress (+ progress 1))
bce86c4163a3 Initial revision
kono
parents:
diff changeset
12 (if (! (eolp))
bce86c4163a3 Initial revision
kono
parents:
diff changeset
13 (progn
bce86c4163a3 Initial revision
kono
parents:
diff changeset
14 (set-mark) (end-of-line)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
15 (setq pname (region-to-string))
bce86c4163a3 Initial revision
kono
parents:
diff changeset
16 (delete-to-killbuffer)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
17 (fast-filter-region pname)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
18 )
bce86c4163a3 Initial revision
kono
parents:
diff changeset
19 )
bce86c4163a3 Initial revision
kono
parents:
diff changeset
20 (next-line)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
21 )
bce86c4163a3 Initial revision
kono
parents:
diff changeset
22 )
bce86c4163a3 Initial revision
kono
parents:
diff changeset
23 )
bce86c4163a3 Initial revision
kono
parents:
diff changeset
24
bce86c4163a3 Initial revision
kono
parents:
diff changeset
25 (show-shell-errors
bce86c4163a3 Initial revision
kono
parents:
diff changeset
26 (save-excursion
bce86c4163a3 Initial revision
kono
parents:
diff changeset
27 (temp-use-buffer "mh-temp")
bce86c4163a3 Initial revision
kono
parents:
diff changeset
28 (if (!= (buffer-size) 0)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
29 (progn
bce86c4163a3 Initial revision
kono
parents:
diff changeset
30 (pop-to-buffer "mh-temp")
bce86c4163a3 Initial revision
kono
parents:
diff changeset
31 (sit-for 0)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
32 (beginning-of-file) (set-mark)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
33 (error-occured (re-replace-string "\n\n* *" "; "))
bce86c4163a3 Initial revision
kono
parents:
diff changeset
34 (end-of-line)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
35 (backward-character) (backward-character)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
36 (kill-to-end-of-line)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
37 (send-string-to-terminal "\")
bce86c4163a3 Initial revision
kono
parents:
diff changeset
38 (message (region-to-string))
bce86c4163a3 Initial revision
kono
parents:
diff changeset
39 (send-string-to-terminal "\")
bce86c4163a3 Initial revision
kono
parents:
diff changeset
40 (sit-for 15)
bce86c4163a3 Initial revision
kono
parents:
diff changeset
41 )
bce86c4163a3 Initial revision
kono
parents:
diff changeset
42 )
bce86c4163a3 Initial revision
kono
parents:
diff changeset
43 )
bce86c4163a3 Initial revision
kono
parents:
diff changeset
44 )
bce86c4163a3 Initial revision
kono
parents:
diff changeset
45 )