option-set

services.gnome.core-developer-tools