Lady’s Gitweb - HOMEDIR/blob

1 #!/usr/bin/env sh

2 # @(#)🏠📂 HOMEDIR sh/git.sh 2026-03-22T02:03:39Z

3 # SPDX-FileCopyrightText: 2026 Lady <https://www.ladys.computer/about/#lady>

4 # SPDX-License-Identifier: MPL-2.0

6 ## ⁌ Pseudo Git

7 ##

9 ##

10 ## ⋮ This Source Code Form is subject to the terms of the Mozilla

11 ## Public License, version 2.0.

12 ## If a copy of the M·P·L was not distributed with this file, You can

13 ## obtain one at {🔗<https://mozilla.org/MPL/2.0/>}.

15 ## § Description

16 ##

17 ## This script enables a “splitting” of Git working directories and

18 ## underlying repos, with pseud‐specific configurations.

19 ## It is intended to accommodate cloud syncing services where one

20 ## intends for the working copy of files to be synced, but not the

21 ## underlying Git directory (which is stored in a different

22 ## location).

23 ##

24 ## Working directory paths must have the format

25 ## `${path_PSEUDDIR}/~${PSEUD}/${REPONAME}´; that is, the first

26 ## directory inside of `${path_PSEUDDIR}´ which begins with a `~´

27 ## is taken to be a pseud, and the first directory inside of that is

28 ## taken as the repository root.

29 ## For working directories which do not match this format, this script

30 ## just calls Git normally.

31 ##

32 ## The corresponding repository for a working directory is taken to be

33 ## `${path_REPODIR}/~${PSEUD}/${REPONAME}.git´.

34 ## These are effectively bare repositories.

35 ## If no repository is found, one is created.

37 ## § Configuration

38 ##

39 ## The following variables provide hooks to override the commands used

40 ## by this script.

41 ##

42 ## As this script is expected to override `git´ in the `${PATH}´, the

43 ## actual path to the Git binary must be used.

45 : "${cmd_GIT:=/usr/bin/git}"

46 : "${cmd_MKDIR:=mkdir}"

47 : "${cmd_PRINTF:=printf}"

48 : "${cmd_PWD:=pwd}"

49 : "${cmd_SED:=sed}"

50 : "${cmd_TEST:=test}"

51 : "${cmd_TOUCH:=touch}"

53 ## The `path_PSEUDDIR´ variable gives the directory which contains the

54 ## actual underlying Git repository for the current directory.

55 ## By default, it is the first of the following which returns an actual

56 ## directory :⁠—

57 ##

58 ## • `~/Documents/Pseuds´

59 ##

60 ## • `~/Pseuds´

61 ##

62 ## • `~/pseuds´

 if "${cmd_TEST}" -z "${path_PSEUDDIR}"

65 then :

   if "${cmd_TEST}" -d "${HOME}"'/Documents/Pseuds'

67 then :

     path_PSEUDDIR="${HOME}"'/Documents/Pseuds'

   elif "${cmd_TEST}" -d "${HOME}"'/Pseuds'

70 then :

     path_PSEUDDIR="${HOME}"'/Pseuds'

72 else :

     path_PSEUDDIR="${HOME}"'/pseuds'

74 fi

75 fi

77 ## The `path_REPODIR´ variable gives the directory which contains the

78 ## actual underlying Git repository for the current directory.

79 ## By default, it is the first of the following which returns an actual

80 ## directory :⁠—

81 ##

82 ## • `~/Git´

83 ##

84 ## • `~/git´

85 ##

86 ## • `~/Repositories´

87 ##

88 ## • `/srv/git´

 if "${cmd_TEST}" -z "${path_REPODIR}"

91 then :

   if "${cmd_TEST}" -d "${HOME}"'/Git'

93 then :

     path_REPODIR="${HOME}"'/Git'

   elif "${cmd_TEST}" -d "${HOME}"'/git'

96 then :

     path_REPODIR="${HOME}"'/git'

   elif "${cmd_TEST}" -d "${HOME}"'/Repositories'

99 then :

     path_REPODIR="${HOME}"'/Repositories'

101 else :

102 path_REPODIR='/srv/git'

103 fi

104 fi

105

106 ## § Implementation

107 ##

108 ## The `realpwd´ variable holds the “real” path to the current

109 ## directory.

110

111 realpwd="$(

112 "${cmd_PWD}" -P

113 )"

114

115 ## The `workdir´ variable holds the full path to the working directory,

116 ## taken to be the first directory after the first directory

117 ## beginning with a `~´.

118

119 workdir="$(

   "${cmd_PRINTF}" '%s\n' "${realpwd}" |

121 "${cmd_SED}" '\%/~.*/%!d;s%$[^~]*/~[^/]*/[^/]*$$/.*$*%\1%'

122 )"

123

124 ## If `${workdir}´ does not begin with `${path_PSEUDDIR}´, it is nulled

125 ## out.

126

 if "${cmd_TEST}" "${workdir##"${path_PSEUDDIR}"}" = "${workdir}"

128 then :

129 workdir=

130 fi

131

132 ## The `reponame´ variable holds the pseud and repository name.

133

134 reponame="$(

   "${cmd_PRINTF}" '%s\n' "${workdir}" |

136 "${cmd_SED}" 's%[^~]*/$~[^/]*/[^/]*$%\1%'

137 )"

138

139 ## The `pseudname´ variable holds just the pseud.

140

141 pseudname="$(

   "${cmd_PRINTF}" '%s\n' "${reponame}" |

143 "${cmd_SED}" 's%$~[^/]*$/.*%\1%'

144 )"

145

146 ## If the repo name is null, this script just calls Git normally.

147

 if "${cmd_TEST}" -z "${reponame}"

149 then :

150 "${cmd_GIT}" "$@"

151

152 ## Otherwise, it must call Git specially.

153 ## The configuration file at `${path_REPODIR}/${pseudname}/.gitconfig´

154 ## is included into the Git configuration.

155

156 else :

   configfile="${path_REPODIR}"'/'"${pseudname}"'/.gitconfig'

   baredir="${path_REPODIR}/${reponame}.git"

159

160 ## If the pseud directory does not exist within `${path_REPODIR}´, it

161 ## is created.

162

   if "${cmd_TEST}" ! -d "${path_REPODIR}"'/'"${pseudname}"

164 then :

     "${cmd_MKDIR}" -p "${path_REPODIR}"'/'"${pseudname}"

166 fi

167

168 ## If the configuration file does not already exist, it is created.

169

   if "${cmd_TEST}" ! -f "${configfile}"

171 then :

     "${cmd_TOUCH}" "${configfile}"

173 fi

174

175 ## If the repository does not already exist, it is initialized with a

176 ## Sha·256 format.

177

   if "${cmd_TEST}" ! -d "${baredir}"

179 then :

180 cd -P "${workdir}"

181 "${cmd_GIT}" \

182 -c "include.path=${configfile}" \

       --git-dir="${baredir}" init \

184 --object-format=sha256

185 cd -P "${OLDPWD}"

186 fi

187

188 ## Finally, Git is run with the appropriate Git directory and work

189 ## tree.

190

191 "${cmd_GIT}" \

192 -c "include.path=${configfile}" \

     --git-dir="${baredir}" \

     --work-tree="${workdir}" \

195 "$@"

196 fi