Het levensdoel van Wilma

Wilma is een multifunctionele linux-server voor de studenten van de faculteit Wetenschappen van de VUB en natuurlijk vooral voor de studenten Informatica. Studenten van de faculteit kunnen inloggen met hun gebruikersnaam en paswoord van de publieke zalen in gebouw E. Zulk een zaal-account kun je aanvragen of heractiveren via deze account-aanvraagpagina.

Andere VUB-studenten kunnen eveneens toegang krijgen tot de server indien ze een cursus uit de faculteit Wetenschappen volgen waarvoor het gebruik van Wilma vereist is. Ook zij kunnen via het web een zaal-account aanvragen, maar ze moeten achteraf nog eens mailen naar de systeembeheerder om dit zaal-account apart te laten activeren voor Wilma. Voor het overige worden de accounts niet beheerd door de systeembeheerder van Wilma, maar door de studentenkring Infogroep; bij andere account-problemen kun je dus best mailen naar accounts@igwe.vub.ac.be.

Geïnstalleerde pakketten

Wilma draait Slackware 14.0 en daarbovenop zijn onder andere al voorzien: Allegro Common Lisp, Bazaar, CMU Common Lisp, Darcs, Dia, Racket, Dvi2tty, Erlang, Flawfinder, Glasgow Haskell, Graphviz, Hugs, Jasmin, Ltrace, LibreOffice, Lyx, Maxima, R, Rats, Scala, Splint, Steel Bank Common Lisp, SWI Prolog, Tpico, Tth, Valgrind, WxWidgets, en een hoop libraries die van pas komen bij typische programmeerprojecten.

Het installeren van extra pakketten kan zowel door lesgevend personeel als door andere gebruikers aangevraagd worden; in de mate van het mogelijke zal hierop ingegaan worden. Er is echter geen eigen budget voor commerciële software voorzien. De geïnstalleerde versies van free software kunnen ook afgehaald worden uit /usr/local/src om thuis te installeren.

Quota en kredieten

Hoewel de gebruikersnamen en paswoorden gedeeld worden met de zaal-accounts, beschikken gebruikers op Wilma over een aparte home directory in /home. Hiervan worden elke nacht automatisch backups gemaakt, die een week bijgehouden worden. De inhoud van de home directory van de zaal-accounts is ook beschikbaar, onder /ighome. Op /home zijn standaard zachte quota ingesteld van 1000 megabytes en harde quota van 1024 megabytes.

Wilma-gebruikers kunnen gebruik maken van de printer van de Infogroep. Ze dienen daartoe printkredieten te kopen aan de IG-balie (lokaal E1.08). Met lpr -Pzwart of gewoon lpr print men op de zwart-witprinter, met lpr -Pkleur op de kleurenprinter. Printen op de kleurenprinter is veel duurder, vandaar dat de zwart-witprinter de standaardinstelling is.

Het is toegestaan processen te starten die uren zullen lopen, als ze "nice" zijn, i.e. gestart met een lagere prioriteit. Start dus in plaats van bereken-pi-exact, nice bereken-pi-exact. Langdurige processen die niet nice zijn, kunnen afgeschoten worden door de systeembeheerder als ze overlast veroorzaken.

Privacy en het gebrek daaraan

Professor Dirk Vermeir en zijn assistenten vragen soms om oefeningen "in te dienen" door ze in een vooraf bepaalde subdirectory van je home directory te zetten. Ze bezitten daarom de nodige permissies om in je home directory te kijken, je programmacode te lezen, en uit te testen. Zo kunnen ze je ook gemakkelijker helpen tijdens het maken van het project. Hieruit volgt natuurlijk dat Wilma in principe minder privacy biedt dan de servers van het rekencentrum.

Tips en FAQ's

Apache is vanaf september 2003 geconfigureerd om gebruikers toe te laten CGI-programma's te runnen onder hun eigen gebruikers-identiteit. Lees de uitleg over suexec als je CGI-programma's niet meer werken, en consulteer /var/log/apache/suexec_log om te debuggen.
Een mysql-databank kun je per mail bij de systeembeheerder aanvragen.
Over het gebruik van cvs en subversion op Wilma bestaat er een aparte pagina.
Er kunnen dingen raar fout gaan met doxygen-spullen die je overbrengt van een andere computer naar Wilma. De oplossing is blijkbaar op Wilma zelf de configuratie-file opnieuw aanmaken.
De meeste Wilma-accounts zijn eigenlijk accounts voor de publieke computerlokalen die ook op Wilma gebruikt worden. Hun paswoord verander je niet met passwd zoals voor lokale accounts, maar met smbpasswd -r wendy. (Wendy is de accounts-server voor de publieke lokalen.) Het kan tot 5 minuten duren voordat de verandering effect heeft.
Persoonlijke websites kunnen geplaatst worden in een directory genaamd public_html. Een URL van het type http://wilma.vub.ac.be/~username komt overeen met de directory /home/username/public_html.