If it’s a literal, you need to escape the backslashes before Javascript sees them; there’s no way around that. var newpath=”file:///C:\\funstuff\\buildtools\\viewer.html”; window.location = newpath; If newpath is getting its value from somewhere else, and really does contain single backslashes, you don’t need to double them up; but if you really wanted to for some reason, … Read more
You can use that the ASCII characters are the first 128 ones, so get the number of each character with ord and strip it if it’s out of range # -*- coding: utf-8 -*- def strip_non_ascii(string): ”’ Returns the string without non ASCII characters”’ stripped = (c for c in string if 0 < ord(c) … Read more
How about this: sed -i ‘s/;/ /g’ yourBigFile.txt This is not a Python solution. You have to start this in a shell. But if you use Notepad, I guess you are on Windows. So here a Python solution: f1 = open(‘yourBigFile.txt’, ‘r’) f2 = open(‘yourBigFile.txt.tmp’, ‘w’) for line in f1: f2.write(line.replace(‘;’, ‘ ‘)) f1.close() f2.close()
This should work: String replaceLast(String string, String substring, String replacement) { int index = string.lastIndexOf(substring); if (index == -1) return string; return string.substring(0, index) + replacement + string.substring(index+substring.length()); } This: System.out.println(replaceLast(“\”Position, fix, dial\””, “\””, “\\\””)); Prints: “Position, fix, dial\” Test.
You could read the entire file in with file_get_contents(), perform a str_replace(), and output it back with file_put_contents(). Sample code: <?php $path_to_file=”path/to/the/file”; $file_contents = file_get_contents($path_to_file); $file_contents = str_replace(“\nH”, “,H”, $file_contents); file_put_contents($path_to_file, $file_contents); ?>
Search for ([0-9]), and replace it with \1|. Does that work?
Try this: String jsonFormattedString = jsonStr.replaceAll(“\\\\”, “”); Because the backslash is the escaping character in a regular expression (replaceAll() receives one as parameter), it has to be escaped, too.
If there’s some character that neither string contains —, say, \0 — you could write “$first\0$second” =~ m/^(.*).*\0\1/s; and the longest common prefix would be saved as $1. Edited to add: This is obviously very inefficient. I think that if efficiency is a concern, then this simply isn’t the approach we should be using; but … Read more
You might have to (or prefer to) use Unicode escapes: var goodQuotes = badQuotes.replace(/[\u2018\u2019]/g, “‘”); That’s for funny single quotes; the codes for double quotes are 201C and 201D. edit — thus to completely replace all the fancy quotes: var goodQuotes = badQuotes .replace(/[\u2018\u2019]/g, “‘”) .replace(/[\u201C\u201D]/g, ‘”‘);
$str=”bar”; $str[1] = ‘A’; echo $str; // prints bAr or you could use the library function substr_replace as: $str = substr_replace($str,$char,$pos,1);