mirror of
https://github.com/apple/pkl.git
synced 2026-01-11 22:30:54 +01:00
allow .🥒 as a file extension #63
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @karl-thomas on GitHub (Feb 13, 2024).
Feature request: I think it would be nice if we could put a "pickle" (it's really a cucumber) as the file extension, in addition to .pkl. this is similar to mojo files accepting .🔥 as the file extension. https://docs.modular.com/mojo/faq.html#why-does-mojo-have-the-file-extension
I would also accept any other pickled food emojis.
@holzensp commented on GitHub (Feb 13, 2024):
Yeah, absolutely. Actually, Pkl isn't picky; it already does!
@karl-thomas commented on GitHub (Feb 14, 2024):
well I'll be darned, thank you for humoring me, ahahaha. i wonder how angry that makes the nvim plugin, im sure theres some place i can change the file extension.