Can I make SSH ForwardAgent and ProxyJump work with Git?
I have two computers; my workstation and a laptop I use to run my company VPN. I need to go through the VPN in order to reach my Git remote (BitBucket).I have an SSH agent running on my workstation...
View ArticleWhat does a "version file" look like?
I've been googling this for ages now without results. The PyInstaller manual says:--version-file=FILE add a version resource from FILE to the exeThat sounds nice. I want to put version information in...
View ArticleIs it possible to define custom/local linters in vscode?
I have a simple home made linter that I use for work, it's invoked like this: python3 scripts/lint.py FILENAMEThe output is completely standard linter-style output, like:path/to/file.yang:5:19: Linter...
View ArticleHow can I allow django admin to set a field to NULL?
I've set my Model field to null=True, which allows NULL in MySQL, but I can't seem to assign NULL to the field through Django Admin. I've tried also setting blank=True, but that just sets the field to...
View ArticleAre Python sets mutable?
Are sets in Python mutable?In other words, if I do this:x = set([1, 2, 3])y = xy |= set([4, 5, 6])Are x and y still pointing to the same object, or was a new set created and assigned to y?
View Article