I would also accept any other pickled food emojis.
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.
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.
@karl-thomas commented on GitHub (Feb 14, 2024):
<img width="396" alt="Screenshot 2024-02-13 at 7 30 16 PM" src="https://github.com/apple/pkl/assets/23406282/49bc3da5-7d17-4368-be3a-66aefc9b977b">
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.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
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.