Tags→ #QuickTips
-
mypy: found module but no type hints or library stubs
Linting a Python project, I was puzzled by the mysterious error: "found module but no type hints or library stubs" from mypy. The module was my own, with Pydantic definitions everywhere, so why the error? I was missing init.py files in some parent folders.
-
Stopping cSpell from using .gitignore
cSpell is a spelling plugin for VS Code. Not my favourite, but the only one I found. It isn't particularly well documented though. It avoids spell checking files in .gitignore. To stop that, you need to add
"cSpell.useGitignore": false,to your settings -
Making a simple voice recording on a Mac
To make a quick voice recording with OS X: open Quick Time Player, under the File menu there is a "New. Audio Recording" entry. It automatically saves .mov files in your Movies folder, which you can then open in Audacity or the editor of your choice.
-
Changing title of CMD window
title some wordswill change the title of your cmd shell in Window
The title will be `some words` instead of `C:\Windows\system32\cmd.exe`. Handy if you have a few of them open and can't tell them apart. -
A good place for scripts in OSX
Where to put unix based scripts on a Mac without them getting in the way? Simple: create a bin folder in your home directory, and add it to the path:
export PATH=~/bin:$PATH