projects
/
git-tools-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
2ac899d
)
add new git directory 'admin' option for ID-only stuff
author
John Malconian
<malc@indexdata.com>
Wed, 10 Feb 2016 19:05:03 +0000
(14:05 -0500)
committer
John Malconian
<malc@indexdata.com>
Wed, 10 Feb 2016 19:05:03 +0000
(14:05 -0500)
id-new-project/id-new-project.sh
patch
|
blob
|
history
diff --git
a/id-new-project/id-new-project.sh
b/id-new-project/id-new-project.sh
index
89d190b
..
3fa1bcc
100755
(executable)
--- a/
id-new-project/id-new-project.sh
+++ b/
id-new-project/id-new-project.sh
@@
-3,7
+3,7
@@
usage() {
echo ""
echo "Usage:"
usage() {
echo ""
echo "Usage:"
- echo "id-new-project.sh srcdir description {pub/private}"
+ echo "id-new-project.sh srcdir description {pub/private/admin}"
echo "For example:"
echo "id-new-project.sh ../myproj \"Which does good things\" private"
exit 1
echo "For example:"
echo "id-new-project.sh ../myproj \"Which does good things\" private"
exit 1
@@
-14,8
+14,8
@@
DESC=$2
TYPE=$3
case "${TYPE}" in
TYPE=$3
case "${TYPE}" in
- pub | private) ;;
- * ) echo "invalid type: '$TYPE', use pub or private"; usage ;;
+ pub | private | admin ) ;;
+ * ) echo "invalid type: '$TYPE', use pub or private or admin "; usage ;;
esac
if test ! -e post-receive; then
esac
if test ! -e post-receive; then