Mercurial > emacs
annotate lisp/time.el @ 7631:89a1e55c615d
Moved emacs version checking code to very beginning.
author | Tom Tromey <tromey@redhat.com> |
---|---|
date | Sun, 22 May 1994 20:17:15 +0000 |
parents | cc7cd83ccf3f |
children | 49ffb0b7fd22 |
rev | line source |
---|---|
657
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
387
diff
changeset
|
1 ;;; time.el --- display time and load in mode line of Emacs. |
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
387
diff
changeset
|
2 |
7300 | 3 ;; Copyright (C) 1985, 1986, 1987, 1993, 1994 Free Software Foundation, Inc. |
841 | 4 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
5 ;; Maintainer: FSF |
104 | 6 |
7 ;; This file is part of GNU Emacs. | |
8 | |
9 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
10 ;; it under the terms of the GNU General Public License as published by | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
11 ;; the Free Software Foundation; either version 2, or (at your option) |
104 | 12 ;; any later version. |
13 | |
14 ;; GNU Emacs is distributed in the hope that it will be useful, | |
15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
17 ;; GNU General Public License for more details. | |
18 | |
19 ;; You should have received a copy of the GNU General Public License | |
20 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
21 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
22 | |
2319
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
23 ;;; Commentary: |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
24 |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
25 ;;; Facilities to display current time/date and a new-mail indicator |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
26 ;;; in the Emacs mode line. The single entry point is `display-time'. |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2293
diff
changeset
|
27 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
28 ;;; Code: |
104 | 29 |
132
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
30 (defvar display-time-mail-file nil |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
31 "*File name of mail inbox file, for indicating existence of new mail. |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
32 Default is system-dependent, and is the same as used by Rmail.") |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
33 |
268 | 34 ;;;###autoload |
3167
e4bcdaa214b1
(display-time-day-and-date): Use defvar, not defconst.
Richard M. Stallman <rms@gnu.org>
parents:
2319
diff
changeset
|
35 (defvar display-time-day-and-date nil "\ |
268 | 36 *Non-nil means \\[display-time] should display day and date as well as time.") |
256 | 37 |
104 | 38 (defvar display-time-process nil) |
39 | |
40 (defvar display-time-interval 60 | |
41 "*Seconds between updates of time in the mode line.") | |
42 | |
387 | 43 (defvar display-time-24hr-format nil |
3483
965b015a4aef
(display-time-24hr-format): Make it a user option.
Richard M. Stallman <rms@gnu.org>
parents:
3167
diff
changeset
|
44 "*Non-nill indicates time should be displayed as hh:mm, 0 <= hh <= 23. |
387 | 45 Nil means 1 <= hh <= 12, and an AM/PM suffix is used.") |
46 | |
104 | 47 (defvar display-time-string nil) |
48 | |
49 (defvar display-time-hook nil | |
50 "* List of functions to be called when the time is updated on the mode line.") | |
51 | |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
52 (defvar display-time-server-down-time nil |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
53 "Time when mail file's file system was recorded to be down. |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
54 If that file system seems to be up, the value is nil.") |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
55 |
256 | 56 ;;;###autoload |
104 | 57 (defun display-time () |
2293
6c5e38aeb94b
* time.el (display-time): Doc fix.
Jim Blandy <jimb@redhat.com>
parents:
841
diff
changeset
|
58 "Display current time, load level, and mail flag in mode line of each buffer. |
104 | 59 Updates automatically every minute. |
60 If `display-time-day-and-date' is non-nil, the current day and date | |
61 are displayed as well. | |
62 After each update, `display-time-hook' is run with `run-hooks'." | |
63 (interactive) | |
64 (let ((live (and display-time-process | |
65 (eq (process-status display-time-process) 'run)))) | |
66 (if (not live) | |
67 (progn | |
68 (if display-time-process | |
69 (delete-process display-time-process)) | |
70 (or global-mode-string (setq global-mode-string '(""))) | |
71 (or (memq 'display-time-string global-mode-string) | |
72 (setq global-mode-string | |
73 (append global-mode-string '(display-time-string)))) | |
74 (setq display-time-string "") | |
7017
6884e6e907c9
(display-time): Force use of pipe, not pty.
Richard M. Stallman <rms@gnu.org>
parents:
5909
diff
changeset
|
75 ;; Using a pty is wasteful, and the separate session causes |
6884e6e907c9
(display-time): Force use of pipe, not pty.
Richard M. Stallman <rms@gnu.org>
parents:
5909
diff
changeset
|
76 ;; annoyance sometimes (some systems kill idle sessions). |
6884e6e907c9
(display-time): Force use of pipe, not pty.
Richard M. Stallman <rms@gnu.org>
parents:
5909
diff
changeset
|
77 (let ((process-connection-type nil)) |
6884e6e907c9
(display-time): Force use of pipe, not pty.
Richard M. Stallman <rms@gnu.org>
parents:
5909
diff
changeset
|
78 (setq display-time-process |
6884e6e907c9
(display-time): Force use of pipe, not pty.
Richard M. Stallman <rms@gnu.org>
parents:
5909
diff
changeset
|
79 (start-process "display-time" nil |
6884e6e907c9
(display-time): Force use of pipe, not pty.
Richard M. Stallman <rms@gnu.org>
parents:
5909
diff
changeset
|
80 (expand-file-name "wakeup" exec-directory) |
6884e6e907c9
(display-time): Force use of pipe, not pty.
Richard M. Stallman <rms@gnu.org>
parents:
5909
diff
changeset
|
81 (int-to-string display-time-interval)))) |
104 | 82 (process-kill-without-query display-time-process) |
83 (set-process-sentinel display-time-process 'display-time-sentinel) | |
84 (set-process-filter display-time-process 'display-time-filter))))) | |
85 | |
86 (defun display-time-sentinel (proc reason) | |
87 (or (eq (process-status proc) 'run) | |
88 (setq display-time-string "")) | |
89 ;; Force mode-line updates | |
90 (save-excursion (set-buffer (other-buffer))) | |
91 (set-buffer-modified-p (buffer-modified-p)) | |
92 (sit-for 0)) | |
93 | |
94 (defun display-time-filter (proc string) | |
95 (let ((time (current-time-string)) | |
256 | 96 (load (condition-case () |
97 (if (zerop (car (load-average))) "" | |
387 | 98 (let ((str (format " %03d" (car (load-average))))) |
99 (concat (substring str 0 -2) "." (substring str -2)))) | |
256 | 100 (error ""))) |
132
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
101 (mail-spool-file (or display-time-mail-file |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
102 (getenv "MAIL") |
0cbdae7c532f
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
104
diff
changeset
|
103 (concat rmail-spool-directory |
5909
5e38d151ac1a
(display-time-filter): Remove unnecessary (getenv "LOGNAME") and (getenv
Karl Heuer <kwzh@gnu.org>
parents:
5863
diff
changeset
|
104 (user-login-name)))) |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
105 hour am-pm-flag mail-flag) |
104 | 106 (setq hour (read (substring time 11 13))) |
387 | 107 (if (not display-time-24hr-format) |
108 (progn | |
109 (setq am-pm-flag (if (>= hour 12) "pm" "am")) | |
110 (if (> hour 12) | |
111 (setq hour (- hour 12)) | |
112 (if (= hour 0) | |
113 (setq hour 12)))) | |
114 (setq am-pm-flag "")) | |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
115 (setq mail-flag |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
116 (if (and (or (null display-time-server-down-time) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
117 ;; If have been down for 20 min, try again. |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
118 (> (- (nth 1 (current-time)) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
119 display-time-server-down-time) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
120 1200)) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
121 (let ((start-time (current-time))) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
122 (prog1 |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
123 (display-time-file-nonempty-p mail-spool-file) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
124 (if (> (- (nth 1 (current-time)) (nth 1 start-time)) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
125 20) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
126 ;; Record that mail file is not accessible. |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
127 (setq display-time-server-down-time |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
128 (nth 1 (current-time))) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
129 ;; Record that mail file is accessible. |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
130 (setq display-time-server-down-time nil)) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
131 ))) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
132 " Mail" |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
133 "")) |
104 | 134 (setq display-time-string |
135 (concat (format "%d" hour) (substring time 13 16) | |
387 | 136 am-pm-flag |
137 load | |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
138 mail-flag)) |
104 | 139 ;; Append the date if desired. |
140 (if display-time-day-and-date | |
141 (setq display-time-string | |
142 (concat (substring time 0 11) display-time-string)))) | |
143 (run-hooks 'display-time-hook) | |
144 ;; Force redisplay of all buffers' mode lines to be considered. | |
145 (save-excursion (set-buffer (other-buffer))) | |
146 (set-buffer-modified-p (buffer-modified-p)) | |
147 ;; Do redisplay right now, if no input pending. | |
148 (sit-for 0)) | |
256 | 149 |
150 (defun display-time-file-nonempty-p (file) | |
5463
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
151 (and (file-exists-p file) |
e277328474cc
(display-time-file-nonempty-p): Check existence here.
Richard M. Stallman <rms@gnu.org>
parents:
4014
diff
changeset
|
152 (< 0 (nth 7 (file-attributes (file-chase-links file)))))) |
657
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
387
diff
changeset
|
153 |
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
387
diff
changeset
|
154 ;;; time.el ends here |