👩🏼💻 tech-note How to replace a string in a file using sed? According to the answer over Stack Overflow, you must create a temporary file and mv it to the original file. For example: sed -e 'script sc
👩🏼💻 tech-note How to drop all tables in MySQL? It is simple enough if you don't care about permissions, etc..., which is true of my local test database. mysql -uUSER -p -e "drop data