1 – add the repository that contains jgmenu package for debian 9 stretch
cat >> /etc/apt/sources.list <<EOF deb http://pkg.bunsenlabs.org/debian stretch-backports main EOF
2 – install the key of added repository
curl -L https://ddl.bunsenlabs.org/ddl/BunsenLabs-RELEASE.asc | apt-key add -
3 – install jgmenu
apt update && apt install jgmenu
4 – create a .desktop file. * change Icon value
cat > ~/.local/share/applications/jgmenu.desktop <<EOF [Desktop Entry] Name=jgmenu Exec=jgmenu_run &> /dev/null Type=Application Icon=/path/to/svg/icon/file.svg Categories=System EOF
5 – add launcher entry to jgmenu on tint2rc file
cat >> ~/.config/tint2/tint2rc <<EOF # Launcher launcher_icon_size = 22 startup_notifications = 0 launcher_item_app = jgmenu.desktop EOF