GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-08 20:59:30 -06:00
Code Issues Packages Projects Releases Wiki Activity

Include darcs-cm wrapper.

Browse Source
This commit is contained in:
bringert
2005-11-24 13:05:27 +00:00
parent 853bcef7b9
commit 4e39769f07
3 changed files with 37 additions and 71 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
doc/darcs-cm Normal file
View File

@@ -0,0 +1,29 @@
#!/bin/bash
DARCS=`which darcs`
SSH=`which ssh`
REPOSERVER=gfreposerver
if [ ! -x "$SSH" ]; then
echo "ssh ($SSH): command not found" 1>&2
exit 1
fi
if [ "$1" = "--stop" ]; then
$SSH -O exit "$REPOSERVER"
exit $?
fi
if [ ! -x "$DARCS" ]; then
echo "darcs ($DARCS): command not found" 1>&2
exit 1
fi
if ! $SSH -O check "$REPOSERVER" >& /dev/null; then
echo "Connection to $REPOSERVER is down, connecting..."
$SSH -f -M "$REPOSERVER" \
"bash -c 'while true; do echo -n .; sleep 30; done'" > /dev/null
sleep 1
fi
exec $DARCS "$@"

39
doc/darcs.html
View File

@@ -233,42 +233,11 @@ You may want to create a script or alias for starting the connection.
<A NAME="toc12"></A>
<H3>Automating the ControlMaster connection</H3>
<P>
You can create a darcs wrapper which sets up a ControlMaster connection
if there isn't one already. Put the code below in for example <CODE>~bin/darcs-cm</CODE>,
and use that program instead of <CODE>darcs</CODE> to work with the repository.
You can use a darcs wrapper which sets up a ControlMaster connection
if there isn't one already. Put the script <A HREF="darcs-cm">darcs-cm</A>
somewhere on your path and use it instead of <CODE>darcs</CODE> to work with
the remote repository.
</P>
<PRE>
#!/bin/bash
DARCS=`which darcs`
SSH=`which ssh`
REPOSERVER=gfreposerver
if [ ! -x "$SSH" ]; then
echo "ssh ($SSH): command not found" 1&gt;&amp;2
exit 1
fi
if [ "$1" = "--stop" ]; then
$SSH -O exit "$REPOSERVER"
exit $?
fi
if [ ! -x "$DARCS" ]; then
echo "darcs ($DARCS): command not found" 1&gt;&amp;2
exit 1
fi
if ! $SSH -O check "$REPOSERVER" &gt;&amp; /dev/null; then
echo "Connection to $REPOSERVER is down, connecting..."
$SSH -f -M "$REPOSERVER" \
"bash -c 'while true; do echo -n .; sleep 30; done'" &gt; /dev/null
sleep 1
fi
exec $DARCS "$@"
</PRE>
<P></P>
<A NAME="toc13"></A>
<H2>Getting a fresh copy</H2>
<P>

40
doc/darcs.txt
View File

@@ -174,42 +174,10 @@ You may want to create a script or alias for starting the connection.
=== Automating the ControlMaster connection ===
You can create a darcs wrapper which sets up a ControlMaster connection
if there isn't one already. Put the code below in, for example, ``~bin/darcs-cm``,
and use that program instead of ``darcs`` to work with the repository.
```
#!/bin/bash
DARCS=`which darcs`
SSH=`which ssh`
REPOSERVER=gfreposerver
if [ ! -x "$SSH" ]; then
echo "ssh ($SSH): command not found" 1>&2
exit 1
fi
if [ "$1" = "--stop" ]; then
$SSH -O exit "$REPOSERVER"
exit $?
fi
if [ ! -x "$DARCS" ]; then
echo "darcs ($DARCS): command not found" 1>&2
exit 1
fi
if ! $SSH -O check "$REPOSERVER" >& /dev/null; then
echo "Connection to $REPOSERVER is down, connecting..."
$SSH -f -M "$REPOSERVER" \
"bash -c 'while true; do echo -n .; sleep 30; done'" > /dev/null
sleep 1
fi
exec $DARCS "$@"
```
You can use a darcs wrapper which sets up a ControlMaster connection
if there isn't one already. Put the script [darcs-cm darcs-cm]
somewhere on your path and use it instead of ``darcs`` to work with
the remote repository.
== Getting a fresh copy ==