gnome-shell/subprojects/extensions-app/js/misc/config.js.in

export const PROFILE = '@PROFILE@';