jasonboukheir

#!/bin/sh

if pwd | grep /mnt/c > /dev/null; then
    exec git.exe "$@"
else
    exec /usr/bin/git "$@"
fi

coltenkrauter

Permanent WSL DNS Fix (WSL 2.2.1+)

If you're encountering ping github.com failing inside WSL with a Temporary failure in name resolution, you're not alone — this has been a long-standing issue, especially when using VPNs or corporate networks.

This issue is now fixed robustly with DNS tunneling, which preserves dynamic DNS behavior and avoids limitations like WSL’s former hard cap of 3 DNS servers in /etc/resolv.conf.

DNS tunneling is enabled by default in WSL version 2.2.1 and later, meaning that if you're still seeing DNS resolution issues, the first and most effective fix is simply to upgrade WSL. Upgrading WSL updates the WSL platform itself, but does not affect your installed Linux distributions, apps, or files.

To upgrade WSL, follow these steps,

pigreco

Blog post in sospeso

1. compilare spatialite 5 con librttopo su GNU/Linux;
2. script miller per estrapolare dati su file csv con migliaia di campi;
3. visidata per estrapolare dati su file csv con migliaia di campi;
4. preparare miniguida per creare un sito Read The Docs basato su un repo in markdown #HfcQGIS;
5. lancio tansignari.opendatasicilia.it;
6. lancio #tw2rap;
7. Fare un filtro regex - per colonna - su un CSV da 4.8 GB in 8 secondi, con un PC "normale" (https://www.facebook.com/andreaborruso/posts/10156446990603163);
8. tutorial sui dati ATM Catania - VisiData, Miller https://github.com/opendatasicilia/tansignari/issues/46#issuecomment-477606686

killercup

/*
 * I add this to html files generated with pandoc.
 */

html {
  font-size: 100%;
  overflow-y: scroll;
  -webkit-text-size-adjust: 100%;
  -ms-text-size-adjust: 100%;
}