Skip to content

Instantly share code, notes, and snippets.

View ebenali's full-sized avatar

Elias Benali ebenali

  • us-west-1
  • 21:44 (UTC -07:00)
View GitHub Profile
@ebenali
ebenali / vscode-product.json
Created October 6, 2022 06:36
official vsix gallery for non-official vscode/code-server
"extensionsGallery": {
"serviceUrl": "https://marketplace.visualstudio.com/_apis/public/gallery",
"cacheUrl": "https://vscode.blob.core.windows.net/gallery/index",
"itemUrl": "https://marketplace.visualstudio.com/items"
}
@ebenali
ebenali / tidylogging.py
Created March 31, 2021 17:17
tidy py3 logging
import datetime
import logging
import datetime
class ISODateLogFilter:
def filter(self,record):
record.isodate = datetime.datetime.now().isoformat()[:-3] + "Z"
return True
logging.basicConfig(level=os.environ.get("LOGLEVEL", "DEBUG"), format="%(isodate)s [%(levelname)-5s] %(message)s")
@ebenali
ebenali / combos.jl
Last active March 31, 2021 17:15
10 choose 3 (julia)
vcat(map(ij -> [[ij[1],ij[2],k] for k in (ij[2]+1):9], vcat(map(i -> [[i,j] for j in (i+1):9], 1:9)...))...)