I’m trying to remove stray characters that ended up in a MySQL table. So to remove _, I just did this:
UPDATE table SET field = REPLACE(field, '_', '');
Now I’m trying to do the same thing with ¬, but I can’t place this character in the command line (bash). Any tips for encoding / escaping this character?
It depends on your locale, but if you’re using UTF-8 then this works for me:
echo -e ‘\0302\0254’
Update:
Does this do it for you?