All of lore.kernel.org
 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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.