I’ve created a GIT repository for cduce and few experiments of mine at http://git.cduce.org . I’m using gitweb, that is a neat piece of sw. Easy to install and to manage. I had a minor problem related to the fact I’m using http as transport protocol to clone our git repos. In particular, the error was:

$git clone http://git.cduce.org/r/hashconsing.git
Cannot get remote repository information.
Perhaps git-update-server-info needs to be run there?

The easy fix was to do what I was told to do and to run git-update-server-info in the remote repo.

From the manpage:

A dumb server that does not do on-the-fly pack generations must have some auxiliary information files in $GIT_DIR/info and $GIT_OBJECT_DIRECTORY/info directories to help clients discover what references and packs the server has. This command generates such auxiliary files.

Here I come. Following from the DSA announcement I’ve regenerated the ssh/openssl keys for cduce.org.

apt-get update
apt-get upgrade
rm /etc/ssh/*
dpkg-reconfigure -plow openssh-server

One the user side:

first ssh to the remote machine and remove the for ~/.ssh/authorized_keys . This will lock you out if you don’t remember the passowrd for that machine !

Then, you should remove your ssh keys (from you local machine), and regenerate them with:

ssh-keygen
ssh-copy-id <host>

At this point you should be able to login back on your remote host using the new ssh key.

This is a minor bug-fix release. A new MacOsX binary package is avalaible. See the Download page for download information, or the CHANGES file to know what’s new.

Not much to add.

The MacOsX package is ready and available for download here: http://cduce.org/download.html

The script I used to create this package is a re-mix of the make-macos-package script used in the ocaml distribution. You can have a look at it here.

Today I finished to migrate all cduce mailing list to pps. Once I got the archive, it was fairly easy to recreate the html pages (with the arch script in the mailman directory) and to subscribe everybody to the new lists. The old sympa server and email address is definitely gone.

I moved all mailing lists from @cduce.org to @mailman.cduce.org. All information are here : http://www.cduce.org/contacts.html

Today I’ve also configured spamassassin + amavis-new + clamavd on our mail server. Hopefully this will keep our lists clean.

I didn’t test it properly, but if you are a spammer feel free to help me :)