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 dan

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 sai

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 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

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 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 finalement pas

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 raisonnab

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 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 brisée (dans les limite

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 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 déterministe. Après quelqu

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 comme

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" 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 cas par défaut.

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 n

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 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 : > http://www.debian

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 pe

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...

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

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 paq

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. Sauvage 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 discussion. :-) Cordi

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 fai

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 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 juste qu'ils > so

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 : >> >> « H

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 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 *vides*", c'est

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 directo

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 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, ça voudrait dire

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 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 superficielle. Mal

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 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/, mais qu'il est légal de créer /usr/local/*/

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-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 p

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 Lafont 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à, > aucun paquet n

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* >> i

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 pa

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

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 Lafont 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 était fait > à peu p

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 p

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 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 file is a simpl

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

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/