#!/bin/bash

killall jgmenu
jgmenu --config-file="$HOME/.config/jgmenu/ob-jgmenurc" &
