i've been fiddling with OpenGrok, the OpenSolaris source code browser:
http://tools.wikimedia.de/source/xref/
maybe it would be nice to use this to publish the source of people's tools (it
does cross-referencing, searching and so on as well as browsing).
anyone interested?
(downsides: it doesn't support PHP; but that shouldn't be too hard to add.)
kate.
hi,
as people may be aware, there have been some issues with mysql crashing
recently. i'm currently working with mysql support to try to isolate the
problem; as part of this i've replaced the mysql server with a debug binary,
which may run slightly slower.
i apologise for the problems while this is being worked on, but hopefully it
should be resolved soon.
kate.
Hi
Thanks to Kate, we now have a database called 'toolserver'. The 'wiki'
table in that database lists all wikis mirrored on zedler, with dbname,
content language and domain name. I hope this will be useful.
-- Daniel
--
Homepage: http://brightbyte.de
I don't have a toolserver account (yet?), but was purusing /~voj.
Useful stuff there.
Unfortunately, I don't know what other username paths are valid. The
front page says it'll eventually list projects; I want something more
expedient.
Can someone with toolserver access just place a list of valid user
names on the front page so that I can at least hack URLs to find
toolmaker gold?
I use tcsh, not bash, for a shell script, but I can't seem to run chsh on the server, and tcsh does not seem to be installed. (csh is, though I'm not sure how compatible that is.)
?
-B.