Saturday, November 14 2015

Seulement la lumière peut vaincre l'obscurité

Difficile réveil, après l'attaque meurtrière que l'obscurantisme vient de porter à notre Ville Lumière. Nous sommes encore en état de choc, en train de chercher à savoir si tel ami, tel collègue, telle autre connaissance sont parmi les victimes de ces actes barbares.

Mais nous ne laisserons pas paralyser par la peur.

Seulement la lumière peut dissiper l'obscurité, seulement la raison peut vaincre le fanatisme, seulement la connaissance peut faire disparaître l'ignorance.

Notre mission d'enseignants, de chercheurs, de développeurs, et d'intellectuels en général est devenue aujourd'hui encore plus essentielle: nous allons nous y engager avec une énergie renouvelée, et une détermination encore plus forte.

Sur un ton plus léger, aujourd'hui j'ai décidé de changer le style de ce weblog : des couleurs plus claires, et plus de légèreté, pour faire écho à cette Lumière qu'il est de notre devoir de répandre autour de nous.

Wednesday, October 14 2015

Reprenons nos droits sur nos articles scientifiques

On a été alertés par divers moyens (CNRS, bibliothèques, listes de diffusions, etc.) de l'importance de réagir à la proposition de loi dite "numérique" qui, pour une première fois, est en cours de commentaire public. L'article qui touche le plus directement l'activité de recherche est le n. 9, intitule solennellement "Libre accès aux publications scientifiques de la recherche publique". J'ai déposé sur la plateforme un amendement à ce texte, que je n'accepte pas en l'état, pour les raisons que j'explique dans la suite.

Continue reading...

Thursday, October 30 2014

Saved (yet another time) by an external solver for apt!

Did you know that you can ask apt-get to invoke an external solver for handling the dependency hell that sometimes plagues your upgrades? Well, just now, again, this feature saved my day, and it is just a matter of typing a short option!

Instead of the standard

apt-get install libreoffice

that failed to propose a decent upgrade, as detailed later, I typed

 apt-get --solver aspcud install libreoffice

that returned this pretty good solution

apt-get --solver aspcud install libreoffice
Reading package lists...
Building dependency tree...
Reading state information...
Execute external solver...
The following extra packages will be installed:
  coinor-libcbc3 coinor-libcgl1 coinor-libclp1 coinor-libcoinmp1
  coinor-libcoinutils3 coinor-libosi1 libabw-0.1-1 libcdr-0.1-1
  libe-book-0.1-1 libetonyek-0.1-1 libfreehand-0.1-1 libgltf-0.0-0
  libmspub-0.1-1 libmwaw-0.3-3 libodfgen-0.1-1 liborcus-0.8-0 libpython3.4
  libpython3.4-minimal libpython3.4-stdlib libreoffice-base
  libreoffice-base-core libreoffice-base-drivers libreoffice-calc
  libreoffice-common libreoffice-core libreoffice-draw libreoffice-gtk
  libreoffice-impress libreoffice-java-common libreoffice-math
  libreoffice-style-galaxy libreoffice-style-tango libreoffice-writer
  libvisio-0.1-1 python3-uno python3.4 python3.4-minimal uno-libs3 ure
Suggested packages:
  hyphen-hyphenation-patterns libreoffice-gnome libreoffice-kde
  libreoffice-grammarcheck libreoffice-l10n-4.3 myspell-dictionary unixodbc
  gstreamer1.0-ffmpeg libreoffice-officebean libreoffice-gcj
  libreoffice-report-builder libjtds-java libreoffice-mysql-connector
  libmyodbc libmysql-java libreoffice-sdbc-postgresql odbc-postgresql
  libpg-java libsqliteodbc tdsodbc mdbtools ocl-icd-libopencl1
  libreoffice-style-crystal libreoffice-style-hicontrast
  libreoffice-style-oxygen libreoffice-style-sifr fonts-crosextra-caladea
  fonts-crosextra-carlito python3.4-venv python3.4-doc
The following NEW packages will be installed:
  coinor-libcbc3 coinor-libcgl1 coinor-libclp1 coinor-libcoinmp1
  coinor-libcoinutils3 coinor-libosi1 libabw-0.1-1 libcdr-0.1-1
  libe-book-0.1-1 libetonyek-0.1-1 libfreehand-0.1-1 libgltf-0.0-0
  libmspub-0.1-1 libmwaw-0.3-3 libodfgen-0.1-1 liborcus-0.8-0 libvisio-0.1-1
The following packages will be upgraded:
  libpython3.4 libpython3.4-minimal libpython3.4-stdlib libreoffice
  libreoffice-base libreoffice-base-core libreoffice-base-drivers
  libreoffice-calc libreoffice-common libreoffice-core libreoffice-draw
  libreoffice-gtk libreoffice-impress libreoffice-java-common libreoffice-math
  libreoffice-style-galaxy libreoffice-style-tango libreoffice-writer
  python3-uno python3.4 python3.4-minimal uno-libs3 ure
23 upgraded, 17 newly installed, 0 to remove and 1864 not upgraded.

So, next time you run into trouble, try the external solver, and wait the extra time (maybe 30 seconds)... it may be well worth the wait.

Just make sure you have aspcud and apt-cudf installed for this to work!

Continue reading...

Wednesday, May 21 2014

Static analysis of software component repositories : from Debian to Opam

Component repositories are becoming an essential part of the Free Software landscape, and grow at a steady pace. Ensuring their quality is of paramount importance, and is a difficult task. One natural question to ask when performing quality assurance is the following : what are the components p in a given repository R that cannot be properly installed?. Unfortunately, there can be many reasons why an installation may fail, and some of these will only be detected on the particular environment of the final user, no matter what amount of testing one tries to do beforehand.

But there is a full class of reasons, related to package interdependencies, that can be found by performing a static analysis of repositories, with no testing at all. This static analysis, originally designed for GNU/Linux distributions, is of general interested, and we are now introducing it for the Opam ecosystem.

Continue reading...

Wednesday, March 5 2014

User preferences for dependency solvers: a short survey, and new features added in the latest aspcud solver

A key component of a modular package manager architecture is a solver able to handle dependency problems efficiently, and compute a solution which is aligned with the user preferences. Aspcud is one of the most successful such solvers, and its new release 1.9 version brings some new features to the limelight. Let's take some time to sum up the essential concepts today.

Continue reading...

Thursday, June 20 2013

Arnaques par Internet: le cas des petites annonces et des faux messages Paypal

Depuis le temps que je suis en ligne, j'en ai vu de toutes les couleurs en terme d'abus et arnaques, mais la il y en a une que je ne connaissais pas encore... en voici les éléments essentiels.

Continue reading...

Monday, May 27 2013

Saved (again) by an external solver for apt!

Did you know that you can ask apt-get to invoke an external solver for handling the dependency hell that sometimes plagues your upgrades? Well, just now, again, this feature saved my day, and it is just a matter of typing a short option!

Instead of the standard

apt-get install fetchmail

that proposed an horrendous upgrade path detailed below, I typed

 apt-get --solver aspcud install fetchmail

that returned this easy solution

apt-get --solver aspcud install fetchmail
Reading package lists... Done
Building dependency tree       
Reading state information... Done
Execute external solver... Done
The following extra packages will be installed:
 libc-dev-bin libc6 libc6:i386 libc6-dbg libc6-dev libc6-i386 libc6-i686:i386 locales
Suggested packages:
 fetchmailconf resolvconf glibc-doc glibc-doc:i386 locales:i386
The following packages will be upgraded:
 fetchmail libc-dev-bin libc6 libc6:i386 libc6-dbg libc6-dev libc6-i386 libc6-i686:i386 locales
9 upgraded, 0 newly installed, 0 to remove and 2776 not upgraded.
Need to get 25.9 MB of archives.
After this operation, 10.7 MB of additional disk space will be used.
Do you want to continue Y/n? Y

Just make sure you have aspcud and apt-cudf installed for this to work!

Continue reading...

Monday, February 25 2013

Phishing in (less than) 140 characters...

Well, I thought I had seen everything in phishing, but this is kinda new: somebody tried to hook me up using bit.ly shortened url pointing to a fake twitter password verification page.

Continue reading...

Friday, February 8 2013

Optimising the disk footprint of GNU/Linux distributions for the Cloud

Did you know that the standard, off the shelf GNU/Linux instances you can get on Amazon are usually largely bigger than waht you actually need? Well, our well established Mancoosi tools can help you (again!).

Continue reading...

Tuesday, December 11 2012

Another successful install thanks to Mancoosi

In december, I attended the wonderful Ocsigen days organised by the Ocsigen team at Irill. For this, I set up a virtual machine installed with Debian testing, that sports a recent version of Debian's apt :

Continue reading...

Tuesday, November 6 2012

Rapprocher la recherche publique et l'entreprise: la piste du Chèque Formation Conseil Innovation.

"Décloisonner la recherche publique et l'entreprise", pour faciliter le transfert d'expertise et l'innovation: voilà un sujet qui a fait couler beaucoup d'encre, et qui continue de passionner notre classe dirigeante. La raison est que, plus de dix ans après la loi sur l'Innovation et la Recherche, après des grandes masses d'argent public dépensés en dispositifs divers, allant du Crédit Import Recherche (CIR), aux projets collaboratifs de toutes sorte (ANR, FUI, FEDER, Programme cadre Européen, etc.), le constat reste mitigé, et on n'arrive toujours pas à faire décoller l'innovation. Il faut peut-être porter un regard nouveau sur la question, et chercher des catalyseurs différents.

Continue reading...

Friday, September 21 2012

Maintenant en France, le logiciel libre dans l'administration est officiellement une bonne idee

En général, pendant le moi d'août, les gouvernements profitent de la baisse d'attention pour passer des mesures à la popularité douteuse, comme l'augmentation du prix des carburants ou de certains impôts. Une heureuse exception double à cette règle vient de se produire: après le texte de loi promulgué en Italie le 11 Août, qui stipule que le logiciel libre dans l'administration n'est plus seulement une bonne idée, mais c'est la loi, voici une circulaire du Premier Ministre datée du 19 septembre 2012 qui stipule que le Logiciel Libre dans l'administration publique est maintenant officiellement une bonne idée.

Le document attaché à la circulaire est une source précieuse de bons conseils pour le deploiement du Logiciel Libre dans l'administration publique, lecture qu'on peut recommander largement.

Si cette tendence se confirme, il faudra partir en vacance plus souvent... :-)

Tuesday, September 4 2012

Maintenant en Italie, utiliser du logiciel libre dans l'administration publique n'est plus seulement une bonne idee, c'est la loi!

Merci à Simone Aliprandi pour m’avoir signalé1 le fait que, avec un texte de loi publié pendant l’été2, l’Italie vient de modifier de façon significative la politique d’acquisition des logiciels pour l’administration publique, en donnant un exemple clair que bien d’autres pays devraient suivre.

Ce texte stipule que l’administration publique peut avoir recours soit à du logiciel développé expressément pour elle, soit à du logiciel déjà développé pour l’administration, soit à du du logiciel libre3.

Le recours aux logiciels propriétaires est expressément exclu, sauf dans le cas ou il est établi par une analyse économique et technique qu’il n’est pas possible de satisfaire autrement les besoins de l’administration.

Ce changement de la politique d’acquisition de logiciels fait partie d’un paquet qui porte le nom de "Mesures urgentes pour le développement de la nation"4, et ce n’est pas une coïncidence: en imposant partout où il est possible le recours aux solutions qui permettent à l’État de garder la maîtrise technologique de son parc logiciel, et de réduire les coûts récurrents en licences, il contribue certainement au développement du pays.

On rappelle qu’en France, on avait pu voir énoncer dans une première version du RGI de la DGME des règles inspirées aux mêmes principes

  • il est OBLIGATOIRE d’accepter des documents en format ouvert
  • il est POSSIBLE d’utiliser EN INTERNE des formats propriétaires, mais il est CONSEILLE de préférer les formats ouverts
  • il est INTERDIT de financer des migrations vers des nouvelles versions de logiciels utilisant des formats propriétaires

Mais à différences de ce qui vient d’être accompli par nos voisins italiens, ces règles n’avaient pas été retenues dans la version finale.

On ne peut que souhaiter que le gouvernement français s’empresse de rattraper son retard dans la matière.


1
Voir son billet sur Apogeo Online
2
Loi n.134 du 7 aout 2012, qui modifie l’article 68 du "Codice dell’Amministrazione Digitale"
3
On peut voir les modifications détaillées sur le site EUPL.IT
4
Decret n. 83 du 22 juin 2012 "Modifiche urgenti per la crescita del Paese", texte disponible sur le site du gouvernement italien.

Sunday, June 10 2012

Open Data for transportation at Trimet : an example to follow!

While in Portland to meet many Free and Open Source leading actors, I was delighted to shake hands with Bibiana McHugh, the visionary lady that was the driving force behind the Open Data initiative at Portland's Trimet (the public transportation company of the city of Portland). She really understood what this is all about, when saying “Our transparency allows people to use our data and develop smart, innovative mobile applications to help riders—at no cost to TriMet.”

Let me try to explain why.

Continue reading...

Saturday, June 9 2012

A trip to the Oregon State University and the Open Source Lab (aka OSU OSL...)

Visiting Oregon State University, I had a chance to meet the people of the Open Source Lab, that have provided the primary hosting for many of the open source software we are all using today, with unfailing dedication, since 2003.

Ever wanted to see where the code for the Linux kernel, the Apache projects, Gentoo, Drupal and many others, are physically located? Just come along with me...

Continue reading...

Thursday, May 24 2012

Using external solvers with apt-get in Wheezy

Thanks to the effort of many wonderful people (see at the end of this post), it is now possible to call an external solver from apt-get, if you use at least version 0.9.5, which will be the case in Wheezy.

It's pretty simple, just install apt-cudf :

apt-get install apt-cudf

but please check that you get version 2.9.16~rc1-1 or later of it!

dpkg -l apt-cudf
======================================
ii  apt-cudf  2.9.16~rc1-1   CUDF solver integration for APT

This package will also install one of the available solvers that support CUDF, for example aspcud.

Then you can simply use the --solver option of apt-get to have the dependency solving delegated to aspcud:

apt-get -s --solver aspcud install totem

On my machine, this gives a solution with these characteristics:

49 upgraded, 47 newly installed, 1 downgraded, 9 to remove and 2551 not upgraded.

Which might be more interesting than what the standard internal solver of apt finds, as it changes and removes quite a few more packages

79 upgraded, 98 newly installed, 15 to remove and 2520 not upgraded.

Continue reading...

Wednesday, March 21 2012

Mail changes...

The historic domain name jussieu.fr, corresponding to the physical place named "Place Jussieu" in Paris, served two universities, Paris Diderot and Pierre et Marie Curie.

In a few months, it will be gone. If one does not want to see too much e-mail lost, it is necessary to take preventive measures. Here is my pick.

Continue reading...

Saturday, December 31 2011

Combo-economics at work in Argentina, or how to get a cheap Big Mac thanks to The Economist

Traveling in Argentina, I happened to stop by a MacDonalds. That might seem a silly thing to do in a country where you can have a fantastic piece of prime grilled beef for the price of a typical, lousy Mac combo, but I was just looking for a quick coffee on the route. It turned out that the highly overpriced cup of coffee was lousy too, but the day was not completely lost: I just found out another mind boggling example of the creativity of the people in this country. Bear with me for this short journey from a MacDonalds to finance mangling...

Continue reading...

Saturday, November 26 2011

Tales from the Mancoosi frontline: experimenting with apt-get from experimental :-)

I wanted to install libreoffice today. To do so, I first tried using apt-get (Version: 0.8.14.1), and it proposes me a solution with the following characteristics:

338 upgraded, 181 newly installed, 81 to remove and 1880 not upgraded.

You can find the full solution, as well as the data to reproduce this upgrade scenario online at the Mancoosi Debian DUDF repository.

I was not satisfied, because I just wanted to upgrade libreoffice, not the whole system!

Continue reading...

Thursday, November 3 2011

Mutt+emacs

You can combine mutt and (x)emacs quite conveniently, in case you happen to use this combination of tools to send your mail.

UTF-8

First, let's make sure UTF-8 is used by both (to avoir horrible accent mis-rendering) by putting something like this in your .emacs/.xemacs init files

(setq locale-coding-system 'utf-8)
(prefer-coding-system 'utf-8)

It may even help to add this

(when (not (string= (getenv "LC_CHARMAP") "UTF-8"))
  (setenv "LC_CTYPE" "en_US.UTF-8")
  (setenv "LC_CHARMAP" "UTF-8"))
mutt mode

Then, download mutt.el as available for example from http://www.lemis.com/grog/programs/emacs/emacs/mutt.el and change the pattern for mutt buffers to read

(defcustom mutt-file-pattern "mutt-a-z+-0-9a-f+-0-9a-f+-0-9a-f+"
  "*Regular expression which matches Mutt's temporary files."
  :type 'string
  :group 'mutt)

Put the modified mutt.el it in your emacs/xemacs load path, and make sure your load it by puttin

(require 'mutt)

in your init files.

gnuserv

To avoid relaunching (x)emacs each time you write a message, it is better to turn your emacs into a server process; for this, add these two lines in your init files

(require 'gnuserv)
(gnuserv-start)
mutt

Now, tell mutt to use (x)emacs as a mail client by adding this line in your .muttrc:

set editor="gnuclient"

And that's it.... every time you send a message, you will be in a mutt-mode that has nice commands like

C-c tab		mutt-goto-signature 
C-c C-a		mutt-attach-file
C-c C-b		mutt-goto-body
C-c C-i		mutt-goto-signature
C-c C-d C-c	mutt-delete-old-citations
C-c C-d C-s	mutt-delete-quoted-signatures

Just remember to exit the (x)emacs buffer using C-c #

- page 1 of 5