Mini-repro for SO question about weird TypeScript error message involving contravariance.
- git clone [email protected]:408b45c4e7b126fb7c28c69140604546.git test && cd test
- npm ci
- npm run build
| #!/bin/bash | |
| test -x $(which inotifywait 2>/dev/null) || { | |
| echo "Install inotifywait(1) -- usually in package called inotify-tools" | |
| exit 1 | |
| } | |
| #-- Uncomment to run with all sleeps disabled, for extra fun! | |
| #sleep () { : noop; } | 
| #!/usr/bin/env python | |
| """ | |
| To get installed plugins list, open Script Console on /script, and run: | |
| def pluginList = new ArrayList(Jenkins.instance.pluginManager.plugins) | |
| pluginList.sort { it.getShortName() }.each{ | |
| plugin -> | |
| println ("${plugin.getShortName()}:${plugin.getVersion()} -- ${plugin.getDisplayName()}") | |
| } | 
| #!/usr/bin/env python | |
| """ | |
| License file (de)cryptor for AntennaHouse Formatter https://www.antennahouse.com/formatter-v7 | |
| """ | |
| import argparse | |
| import itertools | |
| import struct | |
| import sys | 
| #!/usr/bin/env python3 | |
| """ | |
| Quote stdin line containing the Nth character, in absolute offset, | |
| counting each newline as a character too. | |
| Inspired by https://stackoverflow.com/a/79399803/531179 | |
| In the name José João in this file, accents are on offsets +210 and on +214. | |
| """ | 
| import dataclasses | |
| import datetime | |
| import re | |
| import socket | |
| import socketserver | |
| import time | |
| class config: | |
| SOCKET_TIMEOUT = 10 | 
| module Foo where | |
| test_Foo = undefined | 
| module LibModule where | |
| greeting = "=== Hello, Cabal! === Module Main speaking ~~~" | 
Mini-repro for SO question about weird TypeScript error message involving contravariance.
git clone [email protected]:408b45c4e7b126fb7c28c69140604546.git test && cd testnpm cinpm run build| #!/usr/bin/env python | |
| """ | |
| Use TOTP secret with RFC6238 algorithm for AWS MFA login. | |
| $AWS_PROFILE is expected to be set, naming a section in ~/.aws/credentials | |
| That same section must also contain 2 extra values for this script: | |
| [my-awesome-shiny-aws-account] | 
| {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE FlexibleInstances, UndecidableInstances #-} | |
| {-# LANGUAGE NoStarIsType #-} | |
| {-# OPTIONS_GHC -Wno-orphans #-} | |
| {-# OPTIONS_GHC -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols #-} | |
| module Main where | |
| import Data.Fixed | |
| import Data.Function (on) |