annotate admin/diff-tar-files @ 48204:1ee4b312fef0

(grep-default-command): New fun. (grep): Use it. (compilation-menu-map): New var. (compilation-minor-mode-map, compilation-shell-minor-mode-map): Use it. (compilation-mode-map): Simplify. (compilation-shell-minor-mode, compilation-minor-mode): Use define-minor-mode.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 07 Nov 2002 19:16:15 +0000
parents c296bfdefcc3
children 695cf19ef79e d7ddb3e565de
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
39058
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
1 #! /bin/sh
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
2
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
3 # Copyright (C) 2001 Free Software Foundation, Inc.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
4 #
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
5 # This file is part of GNU Emacs.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
6 #
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
7 # GNU Emacs is free software; you can redistribute it and/or modify
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
8 # it under the terms of the GNU General Public License as published by
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
9 # the Free Software Foundation; either version 2, or (at your option)
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
10 # any later version.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
11 #
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
12 # GNU Emacs is distributed in the hope that it will be useful,
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
15 # GNU General Public License for more details.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
16 #
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
17 # You should have received a copy of the GNU General Public License
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
18 # along with GNU Emacs; see the file COPYING. If not, write to the
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
19 # Free Software Foundation, Inc., 59 Temple Place - Suite 330,
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
20 # Boston, MA 02111-1307, USA.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
21
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
22 if [ $# != 2 ]; then
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
23 cat <<EOF
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
24 Usage: $0 OLD-TAR NEW-TAR
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
25
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
26 Print a diff of the files in OLD-TAR and NEW-TAR. Used for checking
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
27 the contents of Emacs tar files.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
28 EOF
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
29 exit 1;
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
30 fi
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
31
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
32 old_tar=$1
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
33 new_tar=$2
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
34
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
35 old_tmp=/tmp/old.$$
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
36 new_tmp=/tmp/new.$$
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
37 trap "rm -f $old_tmp $new_tmp; exit 1" 1 2 15
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
38
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
39 tar tzf $old_tar | sed -e 's,^[^/]*,,' | sort > $old_tmp
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
40 tar tzf $new_tar | sed -e 's,^[^/]*,,' | sort > $new_tmp
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
41 diff -u $old_tmp $new_tmp
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
42 rm -f $new_tmp $old_tmp
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
43
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
44