--
Colin Adams
Preston,
Lancashire,
ENGLAND
I suppose that all depends on how you set up your wiki. FWIW, this is
one of the instances a self-hosted wiki would shine - then you
wouldn't need to worry about the extra files as they'd be part of the
repo you're cloning. (If you don't know what I'm talking about, see
the README.)
--
gwern
That depends on your setup. If your repository is on your desktop
machine, and you can ssh in to it from your laptop, then you should
be able to do something like
git clone user...@your.desktop:path/to/gitit/wikidata
If you want to use the web interface on your laptop, then you'll
also need to copy over your config file (if you use one),
your gitit-users file, your static directory, and your templates
directory.
When you get back, you should be able to do something like
git push origin master
John
It worked a treat.
Thanks.
I take that back. The merge worked fine, but I can't see the updates
on the live site. I tried re-starting. And I don't have a cache.
What else might I need to do?
Do you see the updates in the actual files in your wikidata directory
(on your desktop), or just in the git log? If they just show up in
the log, then you could do a 'git reset --hard HEAD', which will
make sure your working directory reflects the contents of the
repository. This shouldn't be necessary with a default gitit setup,
though, which sets up a hook to update your working directory after
a push.
John
> --
> You received this message because you are subscribed to the Google Groups "gitit-discuss" group.
> To post to this group, send email to gitit-...@googlegroups.com.
> To unsubscribe from this group, send email to gitit-discus...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/gitit-discuss?hl=en.