On 2/12/2014 9:28 AM, Edward K. Ream wrote:
On Wednesday, February 12, 2014 7:41:49 AM UTC-6, Edward K. Ream wrote:
Sometime today I'll update Leo's home page to point to the new repo.
What about the daily snapshots? Can they capture the git repo?
Here's a bash script to make a .gz snapshot of a git repo:
----
#!/bin/bash
repo="[email protected]:leo-editor/leo-editor.git"
reponame='leo-editor'
destination="/some/path/to/work/from"
destfile="leo-editor-snapshot"
# logic
cd $destination
rm -rf $reponame
git clone $repo
tar cf ${destfile}.tar ${reponame}/*
gzip ${destfile}.tar
----
Terry probably already knows all of that though :p
-->Jake
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/groups/opt_out.
