Z:gnu-www-ja-pragmatic--23da45-Many GNU libraries are covered/fr

Beaucoup de bibliothèques GNU sont couvertes par la licence publique générale GNU amoindrie, mais pas toutes. Readline, qui met en œuvre l'édition de ligne de commande, est une des bibliothèques GNU couvertes par la GNU GPL classique. Un jour, j'ai découvert un programme non libre conçu pour utiliser Readline, et j'ai dit au développeur que c'était interdit. Il aurait pu sortir du programme l'édition de ligne de commande, mais ce qu'il fit en fait, fut de le republier sous la GPL. Maintenant, c'est un logiciel libre.