Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Phabricator/ssh/ssh-hook
author wenzelm
Mon, 04 Nov 2019 15:15:56 +0100
changeset 71021 b697dd74221a
parent 70750 07673e7cb5e6
permissions -rwxr-xr-x
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
70750
07673e7cb5e6 some information about Phabricator server setup;
wenzelm
parents:
diff changeset 
     1
 
#!/bin/sh
07673e7cb5e6 some information about Phabricator server setup;
wenzelm
parents:
diff changeset 
     2
 












07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




     3


# NOTE: Replace this with the username that you expect users to connect with.













07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




     4


VCSUSER="vcs"













07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




     5














07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




     6


# NOTE: Replace this with the path to your Phabricator directory.













07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




     7


ROOT="/var/www/phabricator/phabricator"













07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




     8














07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




     9


if [ "$1" != "$VCSUSER" ];













07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




    10


then













07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




    11


  exit 1













07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




    12


fi













07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




    13














07673e7cb5e6
some information about Phabricator server setup;



wenzelm


parents: 

diff
changeset




    14


exec "$ROOT/bin/ssh-auth" $@















isabelle