Mercurial > emacs
annotate etc/emacs.bash @ 94733:67bcaf883753
(define-abbrev-table): Don't use `iff' in docstring.
author | Juanma Barranquero <lekktu@gmail.com> |
---|---|
date | Thu, 08 May 2008 03:35:38 +0000 |
parents | 107ccd98fa12 |
children | 606f2d163a64 cbf5528cf447 |
rev | line source |
---|---|
75457
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
1 ### emacs.bash --- contact/resume an existing Emacs, or start a new one |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
2 |
79776 | 3 ## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 |
75457
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
4 ## Free Software Foundation, Inc. |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
5 |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
6 ## Author: Noah Friedman |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
7 |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
8 ## This file is part of GNU Emacs. |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
9 |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
10 ## GNU Emacs is free software; you can redistribute it and/or modify |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
11 ## it under the terms of the GNU General Public License as published by |
78271
713172dcf518
Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents:
75457
diff
changeset
|
12 ## the Free Software Foundation; either version 3, or (at your option) |
75457
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
13 ## any later version. |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
14 |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
15 ## GNU Emacs is distributed in the hope that it will be useful, |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
16 ## but WITHOUT ANY WARRANTY; without even the implied warranty of |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
17 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
18 ## GNU General Public License for more details. |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
19 |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
20 ## You should have received a copy of the GNU General Public License |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
21 ## along with GNU Emacs; see the file COPYING. If not, write to the |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
22 ## Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
23 ## Boston, MA 02110-1301, USA. |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
24 |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
25 ### Commentary: |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
26 |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
27 ## This defines a bash command named `edit' which contacts/resumes an |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
28 ## existing emacs or starts a new one if none exists. |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
29 |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
30 ## One way or another, any arguments are passed to emacs to specify files |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
31 ## (provided you have loaded `resume.el'). |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
32 |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
33 ## This function assumes the emacs program is named `emacs' and is somewhere |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
34 ## in your load path. If either of these is not true, the most portable |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
35 ## (and convenient) thing to do is to make an alias called emacs which |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
36 ## refers to the real program, e.g. |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
37 ## |
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
38 ## alias emacs=/usr/local/bin/gemacs |
25853 | 39 |
40 function edit () | |
41 { | |
42 local windowsys="${WINDOW_PARENT+sun}" | |
43 | |
44 windowsys="${windowsys:-${DISPLAY+x}}" | |
45 | |
46 if [ -n "${windowsys:+set}" ]; then | |
47 # Do not just test if these files are sockets. On some systems | |
48 # ordinary files or fifos are used instead. Just see if they exist. | |
59923
615a90f44f52
Update the name of the socket of the Emacs server.
Eli Zaretskii <eliz@gnu.org>
parents:
52401
diff
changeset
|
49 if [ -e "${HOME}/.emacs_server" -o -e "/tmp/emacs${UID}/server" ]; then |
25853 | 50 emacsclient "$@" |
51 return $? | |
52 else | |
53 echo "edit: starting emacs in background..." 1>&2 | |
54 fi | |
55 | |
56 case "${windowsys}" in | |
57 x ) (emacs "$@" &) ;; | |
84724
ccaac0911639
Adapt for removal of emacstool.
Glenn Morris <rgm@gnu.org>
parents:
78271
diff
changeset
|
58 sun ) echo "unsupported window system"; return 1 ;; |
25853 | 59 esac |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
25853
diff
changeset
|
60 else |
25853 | 61 if jobs %emacs 2> /dev/null ; then |
62 echo "$(pwd)" "$@" >| ${HOME}/.emacs_args && fg %emacs | |
63 else | |
64 emacs "$@" | |
65 fi | |
66 fi | |
67 } | |
68 | |
69 | |
52401 | 70 # arch-tag: 1e1b74b9-bf2c-4b23-870f-9eebff7515cb |
75457
873c558e1383
Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents:
59923
diff
changeset
|
71 ### emacs.bash ends here |