Differences

This shows you the differences between two versions of the page.

--- regexp [2021/06/28 00:34] – created 192.168.1.50
+++ regexp [2024/08/11 00:15] (current) – admin
@@ Line 1: / Line 1: @@
 ====== RegExp ======
+===== Flexible Renamer =====
+After.Midnight mkv's
+  * Find: <code>(.*)-[\d]*\.mkv</code>
+  * Replace: <code>\1.mkv</code>
 ===== Textpad =====
 Remove shared JS from Plotly pages:
   * Find: <code>\n        <script type="text/javascript">(?s).*\(27\)\}\)\);</script></code>
   * Replace: <code><script type="text/javascript" src="plotly.js"></script></code>
+Remove double space from Plotly pages:
+  * Find: <code>\s{2,}+</code>
+  * Replace: <code> </code>
+Add title to Plotly pages:
+  * Find: <code><head><meta</code>
+  * Replace: <code><head><title>IsItHotInHere.org - Climate data illustrated</title><meta</code>
+===== Python =====
+To match unicode whitespace:
+<code>
+import re
+_RE_COMBINE_WHITESPACE = re.compile(r"\s+")
+my_str = _RE_COMBINE_WHITESPACE.sub(" ", my_str).strip()
+</code>
+To match ASCII whitespace only:
+<code>
+import re
+_RE_COMBINE_WHITESPACE = re.compile(r"(?a:\s+)")
+_RE_STRIP_WHITESPACE = re.compile(r"(?a:^\s+|\s+$)")
+my_str = _RE_COMBINE_WHITESPACE.sub(" ", my_str)
+my_str = _RE_STRIP_WHITESPACE.sub("", my_str)
+</code>