annotate mkinstalldirs @ 64220:38b6647b9ed4

(custom-push-theme): Maintain list of the settings of a given theme in its theme-settings property. Maintain position of old settings in the theme-value or theme-face property. (custom-enabled-themes): New variable. (custom-theme-enabled-p): New function. (provide-theme): Update custom-enabled-themes. Disable and reenable the `user' theme. (require-theme): Doc fix. (custom-do-theme-reset, custom-remove-theme): Functions deleted. (custom-theme-value, custom-theme-variable-value): Likewise. (custom-theme-reset-internal): Likewise. (custom-theme-load-themes): Fix bugs and use custom-disable-theme. (custom-enable-theme, custom-disable-theme): New functions. (custom-variable-theme-value, custom-face-theme-value): Likewise. (custom-theme-recalc-variable, custom-theme-recalc-face): Likewise. (custom-theme-reset-variables): Simplify. (deftheme, custom-declare-theme, custom-make-theme-feature): Definitions moved.
author Richard M. Stallman <rms@gnu.org>
date Mon, 11 Jul 2005 00:57:23 +0000
parents 746c40973d25
children 730155197b96 eb7e8d483840
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25880
Dave Love <fx@gnu.org>
parents:
diff changeset
1 #! /bin/sh
Dave Love <fx@gnu.org>
parents:
diff changeset
2 # mkinstalldirs --- make directory hierarchy
Dave Love <fx@gnu.org>
parents:
diff changeset
3 # Author: Noah Friedman <friedman@prep.ai.mit.edu>
Dave Love <fx@gnu.org>
parents:
diff changeset
4 # Created: 1993-05-16
Dave Love <fx@gnu.org>
parents:
diff changeset
5 # Public domain
Dave Love <fx@gnu.org>
parents:
diff changeset
6
Dave Love <fx@gnu.org>
parents:
diff changeset
7 errstatus=0
Dave Love <fx@gnu.org>
parents:
diff changeset
8
Dave Love <fx@gnu.org>
parents:
diff changeset
9 for file
Dave Love <fx@gnu.org>
parents:
diff changeset
10 do
Dave Love <fx@gnu.org>
parents:
diff changeset
11 set fnord `echo ":$file" | sed -ne 's/^:\//#/;s/^://;s/\// /g;s/^#/\//;p'`
Dave Love <fx@gnu.org>
parents:
diff changeset
12 shift
Dave Love <fx@gnu.org>
parents:
diff changeset
13
Dave Love <fx@gnu.org>
parents:
diff changeset
14 pathcomp=
Dave Love <fx@gnu.org>
parents:
diff changeset
15 for d
Dave Love <fx@gnu.org>
parents:
diff changeset
16 do
Dave Love <fx@gnu.org>
parents:
diff changeset
17 pathcomp="$pathcomp$d"
Dave Love <fx@gnu.org>
parents:
diff changeset
18 case "$pathcomp" in
Dave Love <fx@gnu.org>
parents:
diff changeset
19 -* ) pathcomp=./$pathcomp ;;
Dave Love <fx@gnu.org>
parents:
diff changeset
20 esac
Dave Love <fx@gnu.org>
parents:
diff changeset
21
Dave Love <fx@gnu.org>
parents:
diff changeset
22 if test ! -d "$pathcomp"; then
Dave Love <fx@gnu.org>
parents:
diff changeset
23 echo "mkdir $pathcomp" 1>&2
Dave Love <fx@gnu.org>
parents:
diff changeset
24
35853
774df19dd335 (errstatus): Chmod a+rx directories we create.
Gerd Moellmann <gerd@gnu.org>
parents: 25880
diff changeset
25 (mkdir "$pathcomp" && chmod a+rx "$pathcomp") || lasterr=$?
25880
Dave Love <fx@gnu.org>
parents:
diff changeset
26
Dave Love <fx@gnu.org>
parents:
diff changeset
27 if test ! -d "$pathcomp"; then
Dave Love <fx@gnu.org>
parents:
diff changeset
28 errstatus=$lasterr
Dave Love <fx@gnu.org>
parents:
diff changeset
29 fi
Dave Love <fx@gnu.org>
parents:
diff changeset
30 fi
Dave Love <fx@gnu.org>
parents:
diff changeset
31
Dave Love <fx@gnu.org>
parents:
diff changeset
32 pathcomp="$pathcomp/"
Dave Love <fx@gnu.org>
parents:
diff changeset
33 done
Dave Love <fx@gnu.org>
parents:
diff changeset
34 done
Dave Love <fx@gnu.org>
parents:
diff changeset
35
Dave Love <fx@gnu.org>
parents:
diff changeset
36 exit $errstatus
Dave Love <fx@gnu.org>
parents:
diff changeset
37
Dave Love <fx@gnu.org>
parents:
diff changeset
38 # mkinstalldirs ends here