Quick Tip: Disable shortcut prompt on Linux AppImages September 15, 2017 linux quick tips techtips ubermix ubuntu +