Duplicated indents to indentation as an "alias" for the tag#1900
Duplicated indents to indentation as an "alias" for the tag#1900sebkuip wants to merge 1 commit into
Conversation
There was a problem hiding this comment.
Hello! Thanks for the PR!
I don't think copy pasting is a good way of handling this. We won't ever think about modifying the other version when modifying one of them. I can think of two one solutions, feel free to also suggest your own:
1. Create a symlink? I don't know if this is something Git will like, or at least that will be cross-platform, but I think it is worth a try after giving it more thoughts we decided that this was a bit too hacky, we would rather wait for #1663
2. Having a special syntax in the file saying has the same content as X, which I believe should be made feasible by #1663
I can agree that a copy paste isn't a good idea, but that was the only real suggestion that popped up in the discord when I asked about it. Since you did mention #1663 will fix this, I will await until this has been merged and resubmit this PR with this functionality included. Thanks |
I often have it that I'm confused by the !indents tag, and type !indentation instead. Making the tag work on both versions would make it a lot less confusing at times.