cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
From: Kaspar Schleiser <kaspar@schleiser.de>
To: Julia Lawall <julia.lawall@inria.fr>,
	Nicolas Palix <nicolas.palix@univ-grenoble-alpes.fr>
Cc: cocci@systeme.lip6.fr
Subject: Re: [Cocci] 1.0.8 on Ubuntu
Date: Tue, 5 May 2020 21:50:56 +0200	[thread overview]
Message-ID: <1f2a8999-c68c-485b-3690-35a4a6654aae@schleiser.de> (raw)
In-Reply-To: <alpine.DEB.2.21.2005051522410.2462@hadrien>

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
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

      parent reply	other threads:[~2020-05-05 19:51 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-09-30 19:43 [Cocci] 1.0.8 on Ubuntu Julia Lawall
2020-05-05  8:16 ` Kaspar Schleiser
2020-05-05  8:50   ` Nicolas Palix
2020-05-05  9:16     ` Kaspar Schleiser
2020-05-05 12:05       ` Nicolas Palix
2020-05-05 13:23         ` Julia Lawall
2020-05-05 13:52           ` kaspar
2020-05-05 19:50           ` Kaspar Schleiser [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1f2a8999-c68c-485b-3690-35a4a6654aae@schleiser.de \
    --to=kaspar@schleiser.de \
    --cc=cocci@systeme.lip6.fr \
    --cc=julia.lawall@inria.fr \
    --cc=nicolas.palix@univ-grenoble-alpes.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).