diff --git a/lib/default/pcrone b/lib/default/repoctl similarity index 77% rename from lib/default/pcrone rename to lib/default/repoctl index f64e5ae..73ae148 100644 --- a/lib/default/pcrone +++ b/lib/default/repoctl @@ -1,13 +1,15 @@ # -*- coding: utf-8 mode: sh -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8 # Liste de préfixes permettant de taper le nom d'un dépôt plus rapidement e.g -# pcrone g/ssi-php/myproj -# pcrone v:modules/myproj +# repoctl g/ssi-php/myproj +# repoctl v:modules/myproj # sont équivalents à -# pcrone https://git.univ-reunion.fr/ssi-php/myproj -# pcrone git@vcs.univ.run:modules/myproj -# Ces définitions fonctionnent aussi pour pclone +# repoctl https://git.univ-reunion.fr/ssi-php/myproj +# repoctl git@vcs.univ.run:modules/myproj # Le format est ALIAS=ACTUAL +# +# Ces définitions fonctionnent aussi pour tous les scripts qui utilisent +# repoctl, dont notamment pclone et pcrone REPO_PREFIXES=( s:=git@git.univ-reunion.fr: g/=https://git.univ-reunion.fr/ diff --git a/lib/repoctl/json_build.php b/lib/repoctl/json_build.php new file mode 100755 index 0000000..0106b58 --- /dev/null +++ b/lib/repoctl/json_build.php @@ -0,0 +1,27 @@ +#!/usr/bin/php +