Comment installer dmenu ?

Il vous demande de vous assurer que config.mk a les paramètres souhaités. Il semble que config.mk contienne le chemin d'installation, ainsi que quelques autres options que les utilisateurs plus avancés pourraient vouloir régler.

Comme CelticWarrior l'a souligné, vous pouvez installer dmenu sans avoir à vous soucier du code source avec sudo apt install dmenu o sudo apt install suckless-tools .

Si vous souhaitez toujours savoir comment installer dmenu à partir du code source, voici quelques indications que j'ai essayé d'installer dmenu2 à partir des sources sous xubuntu 20.04 focal. Dmenu2 est une version patchée de dmenu. Elle fonctionne également avec dmenu bien sûr.

Les commandes et les explications :

Le repo bitbucket de dmenu2 utilise mercurial, donc...

sudo apt install mercurial

Vérifier l'original dmenu détails du paquet pour savoir à partir de quel dépôt il est installé comme mentionné dmenu est un nom de paquet virtuel, il faut donc chercher suckless-tools :

apt show suckless-tools 

La ligne intéressante est la suivante :

APT-Sources: http://fr.archive.ubuntu.com/ubuntu focal/universe amd64 Packages

Et surtout les universe dépôt Décommenter, si nécessaire, la ligne dans /etc/apt/sources.list (span votre éditeur favori)

sudo vim /etc/apt/sources.list

La ligne que nous recherchons est une deb-src pour les universe il pourrait ressembler à ce qui suit :

deb-src http://fr.archive.ubuntu.com/ubuntu/ focal universe

mettre à jour la liste des paquets

sudo apt update

et laissez la magie de l'empaquetage faire le reste, cela installera toutes les dépendances nécessaires pour construire les paquets :

sudo apt-get build-dep suckless-tools

Il suffit maintenant de laisser les outils de construction faire le travail :

cd path/to/cloned/dmenu
make

Vous devriez avoir un nouveau compilé ./dmenu dans votre répertoire local.

Voir l'intérieur de la Makefile les actions qui seront effectuées :

install: all
    mkdir -p $(DESTDIR)$(PREFIX)/bin
    cp -f dmenu dmenu_path dmenu_run stest $(DESTDIR)$(PREFIX)/bin
    chmod 755 $(DESTDIR)$(PREFIX)/bin/dmenu
    chmod 755 $(DESTDIR)$(PREFIX)/bin/dmenu_path
    chmod 755 $(DESTDIR)$(PREFIX)/bin/dmenu_run
    chmod 755 $(DESTDIR)$(PREFIX)/bin/stest
    mkdir -p $(DESTDIR)$(MANPREFIX)/man1
    sed "s/VERSION/$(VERSION)/g" < dmenu.1 > $(DESTDIR)$(MANPREFIX)/man1/dmenu.1
    sed "s/VERSION/$(VERSION)/g" < stest.1 > $(DESTDIR)$(MANPREFIX)/man1/stest.1
    chmod 644 $(DESTDIR)$(MANPREFIX)/man1/dmenu.1
    chmod 644 $(DESTDIR)$(MANPREFIX)/man1/stest.1

Pour finalement l'installer dans la destination configurée ( PREFIX = /usr/local en config.mk )

sudo make install

Amusez-vous bien !

Vous voulez encore plus de plaisir ? rofi à la place, un remplacement direct de dmenu, et bien d'autres choses encore.

Ce qui est également déjà emballé :

sudo apt install rofi
ls | rofi -dmenu