annotate etc/emacs.bash @ 104436:b9b48267c7d3

cedet/semantic/db-mode.el: New file.
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 30 Aug 2009 14:37:55 +0000
parents c90853557b90
children 1d1d5d9bd884
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
100972
c90853557b90 Add 2009 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 99244
diff changeset
3 ## Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
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
95004
cbf5528cf447 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
10 ## GNU Emacs is free software: you can redistribute it and/or modify
75457
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
95004
cbf5528cf447 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
12 ## the Free Software Foundation, either version 3 of the License, or
cbf5528cf447 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
13 ## (at your option) any later version.
75457
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
95004
cbf5528cf447 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 87649
diff changeset
21 ## along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
75457
873c558e1383 Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents: 59923
diff changeset
22
873c558e1383 Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents: 59923
diff changeset
23 ### Commentary:
873c558e1383 Add FSF copyright and GPL. Copyright years from those where this file
Glenn Morris <rgm@gnu.org>
parents: 59923
diff changeset
24
99244
4f618405b3d2 Comment that emacs.bash/csh are obsolete.
Glenn Morris <rgm@gnu.org>
parents: 95004
diff changeset
25 ## This file is obsolete. Use emacsclient -a instead.
4f618405b3d2 Comment that emacs.bash/csh are obsolete.
Glenn Morris <rgm@gnu.org>
parents: 95004
diff changeset
26
75457
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
Dave Love <fx@gnu.org>
parents:
diff changeset
39
Dave Love <fx@gnu.org>
parents:
diff changeset
40 function edit ()
Dave Love <fx@gnu.org>
parents:
diff changeset
41 {
Dave Love <fx@gnu.org>
parents:
diff changeset
42 local windowsys="${WINDOW_PARENT+sun}"
Dave Love <fx@gnu.org>
parents:
diff changeset
43
Dave Love <fx@gnu.org>
parents:
diff changeset
44 windowsys="${windowsys:-${DISPLAY+x}}"
Dave Love <fx@gnu.org>
parents:
diff changeset
45
Dave Love <fx@gnu.org>
parents:
diff changeset
46 if [ -n "${windowsys:+set}" ]; then
Dave Love <fx@gnu.org>
parents:
diff changeset
47 # Do not just test if these files are sockets. On some systems
Dave Love <fx@gnu.org>
parents:
diff changeset
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
Dave Love <fx@gnu.org>
parents:
diff changeset
50 emacsclient "$@"
Dave Love <fx@gnu.org>
parents:
diff changeset
51 return $?
Dave Love <fx@gnu.org>
parents:
diff changeset
52 else
Dave Love <fx@gnu.org>
parents:
diff changeset
53 echo "edit: starting emacs in background..." 1>&2
Dave Love <fx@gnu.org>
parents:
diff changeset
54 fi
Dave Love <fx@gnu.org>
parents:
diff changeset
55
Dave Love <fx@gnu.org>
parents:
diff changeset
56 case "${windowsys}" in
Dave Love <fx@gnu.org>
parents:
diff changeset
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
Dave Love <fx@gnu.org>
parents:
diff changeset
59 esac
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 25853
diff changeset
60 else
25853
Dave Love <fx@gnu.org>
parents:
diff changeset
61 if jobs %emacs 2> /dev/null ; then
Dave Love <fx@gnu.org>
parents:
diff changeset
62 echo "$(pwd)" "$@" >| ${HOME}/.emacs_args && fg %emacs
Dave Love <fx@gnu.org>
parents:
diff changeset
63 else
Dave Love <fx@gnu.org>
parents:
diff changeset
64 emacs "$@"
Dave Love <fx@gnu.org>
parents:
diff changeset
65 fi
Dave Love <fx@gnu.org>
parents:
diff changeset
66 fi
Dave Love <fx@gnu.org>
parents:
diff changeset
67 }
Dave Love <fx@gnu.org>
parents:
diff changeset
68
Dave Love <fx@gnu.org>
parents:
diff changeset
69
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
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