Afficher un message
Vieux 16/12/2006, 00h44   #1
fred
Aucun Avatar
 
Messages: n/a
Hébergeur:
Par défaut pkgname -> portname...


Bonsoir,

Ça peut paraître un peu HS mais pas tant que ça ;-)
C'est pour faire une complétion de commande sur portupgrade.

Il s'agit de déterminer le nom du port correspondant à un paquet.

Par ex, gstreamer-0.10.11 -> gstreamer, mais aussi
gstreamer-plugins-0.10.11 -> gstreamer-plugins
(couper les '-' avec cut ne donnera donc pas le résultat attendu, parce
que, à ma connaissance, on ne peut pas couper à partir de la fin (en
l'occurence, ça sera toujours un seul '-') ou à base de sed aussi)

Un truc en python par ex, pour que ce ne soit pas trop lourdingue. On
pourrait s'en sortir avec les commandes pkg_*, mais bon.

Merci.

--
Fred.
  Réponse avec citation
 
Page generated in 0,04162 seconds with 9 queries