File indexing completed on 2023-09-24 04:11:04
0001 #!/bin/bash 0002 0003 # Exit if something fails 0004 set -e 0005 0006 cd build 0007 sudo make uninstall 0008 0009 # KRunner needs to be restarted for the changes to be applied 0010 # we can just kill it and it will be started when the shortcut is invoked 0011 kquitapp5 krunner