MIME-Version: 1.0 Content-Location: file:///C:/207254D3/LOG-darcs.htm Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="us-ascii" 
# useful darcs commands (from parallel Hackathon Dec 09)
 
# unpack darcs-enabled tar-ball
=
tar xfj ~/SRCS/ghc-HEAD-2009-10-23-ghc.tar.bz2
=
 
# local pull
# darcs pull /scratch/jb/eden-6.13-darcs
 
# pull libraries
./=
darcs-all -r http://darcs.haskell.org/ pull -a
<= pre> 
# refer n steps back in pushing/pulling
--last=3Dn  
=
 
# set this to use emacs entering text
DARCS_EDITOR=3Demacs
 
# main commands
darcs whatsnew  =3D cvs status
darcs changes =3D cvs log
darcs record =3D cvs commit
 
darcs get =3D cvs co (fresh)
darcs pull =3D cvs update
darcs push =3D cvs commit (UPLOAD only)
 
=

darcs show repo
=
 
# ---------------------------------------------=
--------------------------------
 To push  to =
darcs 
 
darcs get  http://ja=
mes.mathematik.uni-marburg.de:8080/darcs/parfib
 
darcs record 
 
darcs push   darcsuser@james.mathematik.uni-marburg.de:repos/parfib
 
darcs show repo
=
darcs -r add http=
://james.mathematik.uni-marburg.de/repos/gum-6.08-mka-rts
darcs<=
span style=3D'mso-spacerun:yes'>  add -r http://james.ma=
thematik.uni-marburg.de/repos/gum-6.08-mka-rts
   
   
=