annotate move-if-change @ 48679:672c6eac16e7

Use match-string. (gud-menu-map): Re-fix gdb-running to gud-running. Activate up/down and finish for pdb. (gud-def): Use backquotes. (gdb, sdb, dbx, xdb, pdb, jdb, bashdb): Remove redundant menu bindings. (gud-gdb-complete-in-progress, gud-gdb-complete-string) (gud-gdb-complete-break, gud-gdb-complete-list): Rename to gud-gdb-fetch-lines-in-progress, gud-gdb-fetch-lines-string, gud-gdb-fetch-lines-break and gud-gdb-fetched-lines. (gud-gdb-fetch-lines-filter): Rename from gud-gdb-complete-filter. Add a `filter' argument and run it on `string'. (gud-gdb-run-command-fetch-lines): Use it instead of gud-gdb-speedbar-stack-filter. Add a `skip' arg. Return the fetched lines. (gud-gdb-complete-command): Use it instead of cooking up something by hand using gud-gdb-complete-filter. (gud-gdb-get-stackframe): Use the new calling convention of gud-gdb-run-command-fetch-lines. (gud-gdb-fetched-stack-frame-list): Remove. (gud-gdb-speedbar-stack-filter): Remove. (gud-jdb-marker-filter): Change RE for easier extraction of submatches. (gud-bashdb-command-name): Add "--debugger" argument here. (bashdb): Use default gud-find-file and don't bother with a massage-args function now that --debugger is make explicit. (gud-bashdb-massage-args, gud-bashdb-find-file): Remove. (bashdb): Don't provide. (gud-target-name): New var. (gud-common-init): Set it. Also reset gud-running and gud-last-last-frame.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 05 Dec 2002 16:51:56 +0000
parents 354e0c45cedf
children 14a97ab281d5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25856
Dave Love <fx@gnu.org>
parents:
diff changeset
1 #!/bin/sh
Dave Love <fx@gnu.org>
parents:
diff changeset
2 if
Dave Love <fx@gnu.org>
parents:
diff changeset
3 test -r $2
Dave Love <fx@gnu.org>
parents:
diff changeset
4 then
Dave Love <fx@gnu.org>
parents:
diff changeset
5 if
Dave Love <fx@gnu.org>
parents:
diff changeset
6 cmp $1 $2 > /dev/null
Dave Love <fx@gnu.org>
parents:
diff changeset
7 then
Dave Love <fx@gnu.org>
parents:
diff changeset
8 echo $2 is unchanged
Dave Love <fx@gnu.org>
parents:
diff changeset
9 rm -f $1
Dave Love <fx@gnu.org>
parents:
diff changeset
10 else
Dave Love <fx@gnu.org>
parents:
diff changeset
11 mv -f $1 $2
Dave Love <fx@gnu.org>
parents:
diff changeset
12 fi
Dave Love <fx@gnu.org>
parents:
diff changeset
13 else
Dave Love <fx@gnu.org>
parents:
diff changeset
14 mv -f $1 $2
Dave Love <fx@gnu.org>
parents:
diff changeset
15 fi