Re: Package perso qui supprime /opt/ suite à un remove

2014-01-27 Par sujet aishen
Le 26/01/2014 20:58, Francois Lafont a écrit : Le 26/01/2014 18:17, Bzzz a écrit : Toutefois, le package peut créer des répertoires vides ^ ok, ces répertoires sont vides (répertoires pas encore super bien identifiés à ce stade, on

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-27 Par sujet maderios
On 01/26/2014 09:03 PM, Francois Lafont wrote: Bonsoir, Le 26/01/2014 10:45, maderios a écrit : On aurait pu mettre ton paquet dans le répertoire /usr/local. Là, je dis non. ;-) D'après ce que j'ai compris de quelques lectures ici ou là, aucun paquet ne doit installer quoi que ce soit dans

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet maderios
On 01/25/2014 04:43 PM, Francois Lafont wrote: Bonjour, Merci Stéphane pour cette réponse détaillée. Je me permets de réagir sur un point. Le 23/01/2014 22:13, Stéphane GARGOLY a écrit : On aurait pu mettre ton paquet dans le répertoire /usr/local. Là, je dis non. ;-) D'après ce que j'ai

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Bzzz
On Sun, 26 Jan 2014 02:33:15 +0100 Francois Lafont mathsatta...@free.fr wrote: Bon, après, il est indiqué qu'un paquet peut quand même créer des répertoires vides si j'ai bien tout compris. Non, il est indiqué qu'il est interdit de créer des DIRs tels que: /usr/local/kékchoz, mais qu'il est

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Francois Lafont
Bonjour, Le 26/01/2014 13:24, Bzzz a écrit : On Sun, 26 Jan 2014 02:33:15 +0100 Francois Lafont mathsatta...@free.fr wrote: Bon, après, il est indiqué qu'un paquet peut quand même créer des répertoires vides si j'ai bien tout compris. Non, C'est vrai que ma lecture a été vraiment

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Bzzz
On Sun, 26 Jan 2014 15:22:14 +0100 Francois Lafont mathsatta...@free.fr wrote: Ok, mais le « * » dans ton chemin doit correspondre à un répertoire qui existe déjà sur le système (genre « bin » par exemple) ou bien à un répertoire listé dans FHS section 4.5 (pas réussi à trouver), sans quoi,

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Francois Lafont
Le 26/01/2014 15:40, Bzzz a écrit : « However, the package may create *empty* directories below /usr/local so that the system administrator knows where to place site-specific files. These are not directories in /usr/local, but are children of directories in /usr/local. These directories

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Bzzz
On Sun, 26 Jan 2014 16:33:03 +0100 Francois Lafont mathsatta...@free.fr wrote: Ok, je comprends très bien ce que tu m'expliques. C'est juste que je ne pige pas le « empty » dans la phrase : « However, the package may create *empty* directories ... » Le paquet peut créer des répertoires

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Francois Lafont
Bzzz vraiment je ne comprends la traduction que tu me donnes (en revanche ton interprétation je l'ai bien comprise). Voir ci-dessous : Le 26/01/2014 16:45, Bzzz a écrit : Ok, je comprends très bien ce que tu m'expliques. C'est juste que je ne pige pas le « empty » dans la phrase : « However,

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Bzzz
On Sun, 26 Jan 2014 18:02:48 +0100 Francois Lafont mathsatta...@free.fr wrote: Toutefois, le package peut créer des répertoires vides ^ ok, ces répertoires sont vides (répertoires pas encore super bien identifiés à ce stade, on sait

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Sylvain L. Sauvage
Le dimanche 26 janvier 2014 18:02:48 Francois Lafont a écrit : [… blabla répertoires vides blabla …] Les paquets Debian sont destinés à être installés dans /usr. Un paquet qui s’installerait dans /usr/local n’a pas de sens dans l’optique d’une distribution. (Ça en a pour un paquet qui ne

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Stéphane GARGOLY
Bonjour à tous les utilisateurs et développeurs de Debian : Le 26/01/2014, Sylvain L. Sauvagesylvain.l.sauv...@free.fr a écrit : Le dimanche 26 janvier 2014 18:02:48 Francois Lafont a écrit : [… blabla répertoires vides blabla …] C'est affolant qu'un répertoire vide peut amener à une si longue

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Francois Lafont
Le 26/01/2014 18:29, Sylvain L. Sauvage a écrit : Le dimanche 26 janvier 2014 18:02:48 Francois Lafont a écrit : [… blabla répertoires vides blabla …] Oui désolé si ce n'est pas passionnant, je reconnais. Mais j'espère qu'il n'y a pas de mépris quand même derrière ce commentaire. Les

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Francois Lafont
Le 26/01/2014 18:17, Bzzz a écrit : Toutefois, le package peut créer des répertoires vides ^ ok, ces répertoires sont vides (répertoires pas encore super bien identifiés à ce stade, on sait juste qu'ils sont « sous /usr/local » ce que

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Francois Lafont
Bonsoir, Le 26/01/2014 10:45, maderios a écrit : On aurait pu mettre ton paquet dans le répertoire /usr/local. Là, je dis non. ;-) D'après ce que j'ai compris de quelques lectures ici ou là, aucun paquet ne doit installer quoi que ce soit dans /usr/local/, Bonjour Hum... C'est nouveau ?

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Sylvain L. Sauvage
Le dimanche 26 janvier 2014 19:50:22 Francois Lafont a écrit : […] [… blabla répertoires vides blabla …] Oui désolé si ce n'est pas passionnant, je reconnais. Mais j'espère qu'il n'y a pas de mépris quand même derrière ce commentaire. Non, c’est juste une manière de résumer… un peu

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Bzzz
On Sun, 26 Jan 2014 20:58:59 +0100 Francois Lafont mathsatta...@free.fr wrote: Mouais, suis pas convaincu. Dans ce cas, ne pose pas la question. L'exemple donné par Sylvain avec TeXLive m'incite vraiment à penser qu'il s'agit des répertoires vides au final. Je parle de ce lien bien sûr :

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Sylvain L. Sauvage
Le dimanche 26 janvier 2014 21:17:27 Bzzz a écrit : […] Par contre, je n'en connais aucun qui installe quoi que ce soit (volontairement) dans /opt. /usr/local : les applications qui ont des répertoires bin, lib, share… (et qui savent s’en servir) ; /opt : les applications « gros tas de

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Bzzz
On Sun, 26 Jan 2014 21:31:35 +0100 Sylvain L. Sauvage sylvain.l.sauv...@free.fr wrote: Sous sid, pour pouvoir utiliser une compilation d'une version plus récente que celle d'un pkg, sans désinstaller ce pkg, mon $PATH fait passer /usr/local/* avant le path standard. Euh, c’est déjà le

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Francois Lafont
Le 26/01/2014 21:06, Sylvain L. Sauvage a écrit : Le dimanche 26 janvier 2014 19:50:22 Francois Lafont a écrit : […] [… blabla répertoires vides blabla …] Oui désolé si ce n'est pas passionnant, je reconnais. Mais j'espère qu'il n'y a pas de mépris quand même derrière ce commentaire.

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Francois Lafont
Le 26/01/2014 21:17, Bzzz a écrit : On Sun, 26 Jan 2014 20:58:59 +0100 Francois Lafont mathsatta...@free.fr wrote: Mouais, suis pas convaincu. Dans ce cas, ne pose pas la question. Désolé Bzzz, mais malheureusement l'apprentissage n'est pas quelque chose d'algorithmique et de

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Bzzz
On Sun, 26 Jan 2014 22:30:28 +0100 Francois Lafont mathsatta...@free.fr wrote: Ensuite, on peut faire des paquets qui ne respectent pas toutes la Debian policy, ce n'est pas une obligation absolu contrairement à ce que je pensais au départ. Toute règle est destinée, tôt ou tard, à être

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Francois Lafont
Le 26/01/2014 22:37, Bzzz a écrit : Ensuite, on peut faire des paquets qui ne respectent pas toutes la Debian policy, ce n'est pas une obligation absolu contrairement à ce que je pensais au départ. Toute règle est destinée, tôt ou tard, à être brisée (dans les limites du raisonnable).

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Bzzz
On Sun, 26 Jan 2014 22:50:08 +0100 Francois Lafont mathsatta...@free.fr wrote: De ton côté, est-ce que tu voudras bien admettre alors que dans ce lien : http://www.debian.org/doc/debian-policy/ch-opersys.html#s9.1.2 il s'agissait bel et bien de répertoires vides et que mon anglais n'est

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-26 Par sujet Charles Plessy
Le Sun, Jan 26, 2014 at 11:02:32PM +0100, Bzzz a écrit : On Sun, 26 Jan 2014 22:50:08 +0100 Francois Lafont mathsatta...@free.fr wrote: De ton côté, est-ce que tu voudras bien admettre alors que dans ce lien : http://www.debian.org/doc/debian-policy/ch-opersys.html#s9.1.2 il

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-25 Par sujet Francois Lafont
Bonjour, Merci Stéphane pour cette réponse détaillée. Je me permets de réagir sur un point. Le 23/01/2014 22:13, Stéphane GARGOLY a écrit : On aurait pu mettre ton paquet dans le répertoire /usr/local. Là, je dis non. ;-) D'après ce que j'ai compris de quelques lectures ici ou là, aucun

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-25 Par sujet Francois Lafont
Bonjour, Le 25/01/2014 01:00, Charles Plessy a écrit : Donc finalement la règle serait donc : au moment d'un remove les fichiers du paquet sont supprimés et si un répertoire qui contenait un de ces fichiers devient vide suite à ce remove alors le répertoire est supprimé aussi *SSI* il ne

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-25 Par sujet Stéphane GARGOLY
Bonjour à tous les utilisateurs et développeurs de Debian : Le 25/01/2014, Francois Lafontmathsatta...@free.fr a écrit : Le 23/01/2014 22:13, Stéphane GARGOLY a écrit : On aurait pu mettre ton paquet dans le répertoire /usr/local. D'après ce que j'ai compris de quelques lectures ici ou là,

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-25 Par sujet Francois Lafont
Bonsoir, Le 25/01/2014 21:29, Stéphane GARGOLY a écrit : D'après ce que j'ai compris de quelques lectures ici ou là, aucun paquet ne doit installer quoi que ce soit dans /usr/local/, c'est interdit par la loi. :-) Ce répertoire est la chasse gardée de l'administrateur du système, il peut y

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-24 Par sujet Charles Plessy
Le Thu, Jan 23, 2014 at 02:37:23PM +0100, Francois Lafont a écrit : Donc finalement la règle serait donc : au moment d'un remove les fichiers du paquet sont supprimés et si un répertoire qui contenait un de ces fichiers devient vide suite à ce remove alors le répertoire est supprimé aussi

Package perso qui supprime /opt/ suite à un remove

2014-01-23 Par sujet Francois Lafont
Bonjour à tous, Je me suis fait un paqckage perso qui consistait simplement à déposer des fichiers dans /opt/mon-paquet. Je ne suis pas un expert en packaging mais je pense que le paquet était fait à peu près correctement (j'ai mis un fichier mon-paquet.install dans le répertoire de build debian/

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-23 Par sujet Charles Plessy
Le Thu, Jan 23, 2014 at 01:02:15PM +0100, Francois Lafont a écrit : En pratique, on peut toujours s'arranger pour recréer le répertoire /opt/ dans le script postrm bien sûr. Et, toujours en pratique, le problème se résout sans difficulté. Mais ce qui m'intéresse, c'est surtout de savoir si

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-23 Par sujet Bzzz
On Thu, 23 Jan 2014 22:07:41 +0900 Charles Plessy ple...@debian.org wrote: Je pense que « touch /opt/ne-m-effacez-pas » est une solution suffisante pour un simple système local. Oui, c'est d'ailleurs ce qui est fait pour /etc/cron.d: cat /etc/cron.d/.placeholder # DO NOT EDIT OR REMOVE # This

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-23 Par sujet Francois Lafont
Bonjour, Le 23/01/2014 14:07, Charles Plessy a écrit : le comportement de dpkg est normal. Ah, ça me rassure. ;-) Dans un système standard Debian, c'est le paquet base-files qui contient les répertoires vides les plus fréquents, pour qu'ils ne soient pas effacés quand plus aucun autre

Re: Package perso qui supprime /opt/ suite à un remove

2014-01-23 Par sujet Stéphane GARGOLY
Bonjour à tous les utilisateurs et développeurs de Debian : Le 23/01/2014, Francois Lafontmathsatta...@free.fr a écrit : Je me suis fait un paqckage perso qui consistait simplement à déposer des fichiers dans /opt/mon-paquet. Je ne suis pas un expert en packaging mais je pense que le paquet