How to Add Coccinelle PPA for Ubuntu-Based Systems

GNU/Linux Ubuntu Adding Coccinelle PPA Repository

Hi! The Tutorial shows you Step-by-Step How to Add Coccinelle PPA Repository in Ubuntu-Based GNU/Linux OSes.

And Coccinelle for Ubuntu is a Program Matching and Trasformation Tool for the Semantic Patch of the C Code.

Finally, this Setup is Valid for All the Ubuntu-based Distros like:

• Linux Mint
• Lubuntu
• Kubuntu
• Xubuntu
• Zorin OS
• Elementary OS
• Linux Lite
• Bodhi Linux
• Kde Neon
• Pop!_OS
• Voyager
• Trisquel
• LXLE
• feren OS
• Peppermint
• Q4OS
• Linux Ultimate Edition

1. 1. Launching Shell Emulator

   Open a Terminal window
   (Press “Enter” to Execute Commands)

   
   In case first see: Terminal QuickStart Guide.

2. 2. Adding Coccinelle Repo

   Then to Add Coccinelle Repository for Ubuntu
   Execute:

   sudo add-apt-repository ppa:npalix/coccinelle

   Authenticate with the User Admin Pass.
   If Got “User is Not in Sudoers file” then see: How to Enable sudo.
   And then for most Ubuntu-based OSes to Refresh Repos:

   sudo apt update

   In case of Not Found issue then try to ammend it manually to the previous Release

   sudo nano /etc/apt/sources.list.d/*npalix*.list

   And for instance on “kinetic” change it to “jammy”.
   Ctrl+x to Save & Exit from nano.
   And then Update the Repositories again.

3. 3. Getting Started Coccinelle on Ubuntu

   Finally, to Get Started Coccinelle for Ubuntu Based

   Coccinelle Ubuntu Quick Start Guide

   Coccinelle Getting Started on Ubuntu

   sudo apt install coccinelle