|
From: Andraž 'r. L. <ru...@co...> - 2012-10-16 06:22:42
|
> Code is all done via bash, it requires wget/grep/curl to be installed. You could drop either wget or curl. Both can handle everything the other does more or less. > If you want to add a script to the server, just use: > > ./ahungry_scripter.sh push ./yourscript.js I'm wondering why not just use a git or hg or even svn repo for the scripts and handle them there. You could with git have a "mob" branch that anyone could push to without an account then you could just merge anything relevant through(this is an idea from http://repo.or.cz). To replace wget with curl just use curl -O url and you'll get the remote filename used to download. For the date used I'd prefer 'date -u --rfc-3339=seconds' simply because it makes checking when various people updated easier(if there is an issue to solve) and the ISO formated date since it's easy to parse. Just some of my thoughts on this thing. I'll keep watching it because I am interested in such stuff. Though I run with js off 99% of the time. Regards -- Andraž 'ruskie' Levstik Source Mage GNU/Linux mage Re-Alpine Coordinator http://sourceforge.net/projects/re-alpine/ Geek/Hacker/Tinker Seilf Emit |
