Hi, On 5/5/20 3:23 PM, Julia Lawall wrote: >> Julia, maybe it worth recording the sequence of commands somewhere, >> in the README or the website. > > Good idea. I'm just concerned about the word "roughly". Kaspar are there > any details that need to be added? > >>> >>> The commands were roughly: >>>
I went through the commands again, this time with the package files proposed by Nicolas, from [1]. I'm starting a fresh focal container using: $ docker run --rm -ti ubuntu:focal /bin/bash Then, in the container prompt: $ cd $ apt install devscripts equivs wget $ wget https://launchpad.net/ubuntu/+archive/primary/+sourcefiles/coccinelle/1.0.8.deb-2/coccinelle_1.0.8.deb-2.dsc $ wget https://launchpad.net/ubuntu/+archive/primary/+sourcefiles/coccinelle/1.0.8.deb-2/coccinelle_1.0.8.deb.orig.tar.gz $ wget https://launchpad.net/ubuntu/+archive/primary/+sourcefiles/coccinelle/1.0.8.deb-2/coccinelle_1.0.8.deb-2.debian.tar.xz $ dpkg-source -x coccinelle_1.0.8.deb-2.dsc $ cd coccinelle-1.0.8.deb $ dpkg-buildpackage -rfakeroot -b There's now a package file at "/root/coccinelle_1.0.8.deb-2_amd64.deb". Whith the container still running, it can be copied out, from another shell: $ docker cp 1de810777b2a:/root/coccinelle_1.0.8.deb-2_amd64.deb . (replace 1de810777b2a with the contianer id, find out by looking at the container's prompt ("root@<id>:...$") or using "docker ps".) This deb can now be installed via: $ apt install ./coccinelle_1.0.8.deb-2_amd64.deb Kaspar [1] https://launchpad.net/ubuntu/+source/coccinelle/1.0.8.deb-2 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
