I just re-edited an approved suggested edit, which made my answer wrong. Is there a better way to undo these things?
If somebody edits something incorrectly, roll it back. Perhaps leave a comment if you think it needs explaining.
If there was a failing in the system that's supposed to stop bad edits, do as you have and post on meta. I can see what they thought they were doing (confusing
$HOME) but the system failed here.
It's a shame that there was no custom reject reason given. If you're faced with something like that (which takes a little brainwork to unravel) spell it out in your rejection reason so the next person doesn't have to wake up to work out what to do.
I'll ping a few people a few emails about being more careful. Thanks for raising this.
It's clearly a mistake (I also approved the edit). Sorry I didn't pay enough attention to your post. Actually I edited the other answer after reviewing this suggested edit with the same proposal but in that case the edit was justified (
/home instead of
I made a confusion between both answers. Again I apologize for the noise.
As one of those who approved this edit, I thought
crs was the application folder. IIRC your answer (add
PATH) is already applied in the
.profile on a standard Ubuntu install.