[00:24:12] I can set arbitrary config keys with vagrant config. Feature or bug? [00:34:30] depends on your use case ;) [00:42:59] ebernhardson: what's the use case for which it is a feature? [00:53:03] ugh. I love gerrit search for the most part but searching by file path is such a pain [01:00:21] tgr: i remember at some point trying to add a local setting that would only be used from my Vagrantfile so i could swap something around, but i had to edit files beyond Vagrantfile because the settings needed to be added somewhere else [01:01:18] makes sense [01:01:32] still, I'd at least require a --create flag for that [01:01:42] too easy to make typos otherwise