welcome: please sign in

Diff for "InstalledSoftware"

Differences between revisions 1 and 7 (spanning 6 versions)
Revision 1 as of 2005-08-07 06:20:03
Size: 934
Editor: AdamChlipala
Comment:
Revision 7 as of 2012-09-06 07:08:20
Size: 1117
Editor: ClintonEbadi
Comment: outdated, idea is worthwhile...
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
Whenever possible, we like to use [http://www.debian.org/doc/user-manuals#apt-howto Debian's apt] to manage the software that we have installed. This handles almost all details, including automated security patches and other upgrades. However, we occasionally need to install and maintain software by other means. All such software should be documented on this page. Whenever possible, we like to use [[http://www.debian.org/doc/user-manuals#apt-howto|Debian's apt]] to manage the software that we have installed. This handles almost all details, including automated security patches and other upgrades. However, we occasionally need to install and maintain software by other means. All such software should be documented on this page.
Line 8: Line 8:
|| [http://hcoop.sourceforge.net/ Co-op Hosting Tools] || *AdamChlipala || See [http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/hcoop CVS] ||
|| [http://cr.yp.to/daemontools.html daemontools] || AdamChlipala || `/service` || ||
|| [http://cr.yp.to/djbdns.html djbdns] || AdamChlipala || `/service/tinydns` || ||
|| [[http://hcoop.sourceforge.net/|Co-op Hosting Tools]] || *AdamChlipala || See [[http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/hcoop|CVS]] ||
|| [[http://www.smlnj.org/|Standard ML of New Jersey]] || AdamChlipala || `/usr/local/smlnj` ||
|| [[http://smlweb.sourceforge.net/|Standard ML web tools]] || *AdamChlipala || `/usr/local/share/mlt`, `/usr/local/share/smlsql` ||
|| [[http://ferm.sf.net/|Ferm]] || DavorOcelic || `/usr/local` ||
----
CategoryOutdated CategorySystemAdministration

Whenever possible, we like to use Debian's apt to manage the software that we have installed. This handles almost all details, including automated security patches and other upgrades. However, we occasionally need to install and maintain software by other means. All such software should be documented on this page.

1. Table of software

A star before a maintainer name indicates the extra bonus that the mentioned member is a developer of the software in question.

Name (with link)

Maintainers

Base directories

Notes

Co-op Hosting Tools

*AdamChlipala

See CVS

Standard ML of New Jersey

AdamChlipala

/usr/local/smlnj

Standard ML web tools

*AdamChlipala

/usr/local/share/mlt, /usr/local/share/smlsql

Ferm

DavorOcelic

/usr/local


CategoryOutdated CategorySystemAdministration

InstalledSoftware (last edited 2012-09-06 07:08:20 by ClintonEbadi)