petsoi@discuss.tchncs.deM to Gnome@discuss.tchncs.de · 8 months agoCustom Artifacts Directories – Happenings in GNOMEblogs.gnome.orgexternal-linkmessage-square1fedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkCustom Artifacts Directories – Happenings in GNOMEblogs.gnome.orgpetsoi@discuss.tchncs.deM to Gnome@discuss.tchncs.de · 8 months agomessage-square1fedilink
minus-squareIch, einfach anders@lemmings.worldlinkfedilinkarrow-up1·8 months agoThe new default looks like a really bad decision to me. It should default to $XDG_STATE_HOME/gnome-builder.
The new default looks like a really bad decision to me. It should default to
$XDG_STATE_HOME/gnome-builder
.