An Online Python re.findall Service

 Posted on 2020-10-21  (Last modified on 2025-02-26)  |  3 minutes  |  563 words  • Other languages: (in "中文")

As a programmer, I know that grep, sed and awk are powerful for processing text, but they sometimes aren't that straight-forward for specific tasks, as I need to think about how to filter the lines and the columns out. So I wonder if there is a handy way to do these tasks? After using it for a while, I think using regex directly can help, so I launched a re. [Read More]
Python  texttoolkit  Tools 

Manage SSH Connections with ~/.ssh/config

 Posted on 2019-12-22  |  3 minutes  |  528 words

I used to manage SSH connection with such GUI apps as MobaXterm, when I wrote code on Windows at work. As I changed my workflow to use a tiling window manager in a VirtualBox guest OS, I continued to improve my way of managing SSH connections, which I want to share here if you don't know yet. At first, I baked a helper Python script, which I named as qssh for "quick ssh", to help me assemble ssh arguments for me(such as username, Ip, port, etc. [Read More]
Tools  tiling-wm 

How to Change Web Page Titles Easily

 Posted on 2019-08-18  (Last modified on 2025-02-26)  |  2 minutes  |  222 words

There are times that I need to open many web pages of some specific websites within a browser, and there are so many tabs that I can't efficiently access one of them, as their favicons are all the same. So I tried to find a way to rename their titles, preferably in a lightweight way, so that I can spot them quickly with my eyes. The first thought came into my mind was to find some browser extensions to do the job. [Read More]
Tools  Bookmarklet 

ER Diagrams in Plain Text

 Posted on 2019-07-06  (Last modified on 2025-02-26)  |  3 minutes  |  539 words

If you ever wonder how to plot ER diagrams in plain text, you may have already heard of erd. It's a cool command line program written by Andrew Gallant in Haskell, to "compile" plain text files into nicely looking images, leveraging the power of GraphViz. I've used erd for some time, it's cool and the syntax is quite simple. It's also quite simple to install it on Linux, just install GraphViz and erd itself, by following the instructions in the README page. [Read More]
Python  Tools  texttoolkit