Results 11 comments of agvxov

The reason the README.md looks very similar to a man page is because it was made from a man page: https://linux.die.net/man/1/vidir

@joeytwiddle @dagolap @Lenbok @hangxingliu @idkCpp @bloerwald @qadzek I have created a patch: https://github.com/agvxov/plugins/tree/dev However, before submitting a PR, I would like to make sure it's bugless. I'm hoping that I...

bumping out of interest, as it affects me too.

I understand your concerns, however I fear that the damage might be permanent.

It's articulated here much more nicely than i could do so myself: https://stackoverflow.com/questions/9611682/flexlexer-support-for-unicode Would you please close this ticket?

I see, I understand. Should I close this as "Not Planned" or leave it up indefinitely?

surely, but as i mentioned at the end of the OP, im not exactly sure how. im not a java person. could i get a bit of guidance on what...

The https github interface is free use, it should cause no friction. As far as I'm aware, the upsides of ssh are: + modestly higher bandwidth + no need to...