Yes, you must use add -f. The idea of being able to copy your whole Extensions folder over the top and have it ignore the other extensions is a good one, but I don’t know if anyone is actually doing that. Maybe it would be better to remove that rule from .gitignore
I’m doing that — but if I’m in the minority I’ll be glad to have my personal .gitignore. It doesn’t have to be the default for everyone.
I ran into this too, and folks like me who are using a GUI may not have a straightforward way of adding -f. I’d suggest dropping the global .gitignore, or adding a note to the repository’s read-me to explain what’s happening and why.
(I use symlinks to reflect the updated extensions I want in my Inform extensions folder.)
Alright, I’ll remove it. Easier to make do without than work around.
For extensions, do these have to be published? I have some that I think would be useful but they are not polished enough. I don’t know how much help I can ask for with them, either, and I’ve never really worked on a GitHub project.
That said, I’d love to be a part of this to see how I could help. I tend to avoid finding new extensions & need ways to dive in.
It all depends what you mean by published! If you mean part of the official I7 list of extensions, then absolutely not. Go ahead and put them up. Putting something up on GitHub is more like making it open source than releasing it. In fact, you can invite others to help you finish your extensions!
I have several extensions on Github I don’t anticipate ever going on the I7 site, so sure, put anything you like there! And if you would like help, it’s best to make an issue, otherwise we’ll probably just leave them alone.
Awesome! I’m andrewschultz on there. I have a lot of trouble documenting my own work, though I do quite well helping others, so maybe there can be some teamwork.
My two main extensions are
- in-game hint-by-object testing
- one that checks for ‘you can’t go that way’ error messages.
Nothing earthshattering but it’d be awesome to be able to share them.
I thought that was a clever .gitignore usage too. But whatever.
I think a tip for how to set it up yourself would be better than a tip for how to override it.
Would you mind giving me access to the Extensions repository?
EDIT: Is there a way to put a space in the name of a folder? Github keeps making it into a dash.
Would you mind giving me access to the Extensions repository?
I’m the author of this extension:
inform7.com/extensions/authors/#Leonardo_Boselli
Now that 6L02 is available I want to publish more extensions, especially Italian translations.
On GitHub my username is “milleuna”.
Thank you in advance!
Done!
Same question. Is there a way?
Ohh, are you just uploading files through the web interface? I think you’d need to do it through a desktop git client. So don’t worry about it.
I went pawing through there and I’m thinking that a username of “i6” would be nice to have too. Unfortunately that name is already taken by a user that hasn’t done anything since 2011 and that was to make a single edit on a cloned repo. I sent a message to the github admins to ask if I could usurp that username.
I have the same request; my Github account is ChrisPC.
Well, I got the “i6” user at Github. Anyone want to do something there?
I’d like to contribute my first extension, would you give me access? My account is “FrotteeVDH” (like here). Thank you!
Hope this isn’t necro-ing a thread, as I have enjoyed seeing what’s there.
But I finally decided to add an extension, and it was in the folder Andrew-Schultz and not Andrew Schultz! Is there a way I can fix this?
Also, would there be a way to set up trading code-reviews or extension testing? I think that could help keep the group active.