Skip to content

Latest commit

 

History

10 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

gnome-extension-dmenu

A dmenu-like Interface for gnome-shell that allows dmenu scripts to work in gnome.

Why?

Because gnome does not support the layer-shell protocol like any other sensible compositor does. That protocol is needed for rofi and all alternatives to work.

Usage

  1. Extract the extension to $HOME/.local/share/gnome-shell/extensions/
  2. Instead of piping your dmenu scripts to dmenu/rofi, pipe it to the provided dmenu-gnome helper script.

Example

foo=$(ls -1 | $HOME/.local/share/gnome-shell/extensions/dmenu-gnome@carnager.github.io/dmenu-gnome.py)
echo "${foo}"

Screenshot

grafik

About

An extension for gnome shell providing dmenu functionality

Resources

Stars

1 star

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages