add make target: set_default

This commit is contained in:
Akbar Rahman 2021-08-12 11:11:56 +01:00
parent 77c8427663
commit eca7e237ea

View File

@ -56,4 +56,8 @@ uninstall:
rm -f $(DESTDIR)$(PREFIX)/bin/st
rm -f $(DESTDIR)$(MANPREFIX)/man1/st.1
set_default: install
gsettings set org.gnome.desktop.default-applications.terminal exec st
gsettings set org.gnome.desktop.default-applications.terminal exec-arg ''
.PHONY: all options clean dist install uninstall