Discover gists
{-# language ApplicativeDo #-} | |
{-# language LambdaCase #-} | |
{-# LANGUAGE TypeOperators #-} | |
{-# LANGUAGE TypeInType #-} | |
{-# LANGUAGE AllowAmbiguousTypes #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE InstanceSigs #-} | |
-- not sure if this is all extensions or all these extensions are needed, just pasting from the file | |
module VerifySchema where |
#!/bin/bash | |
sudo -s <<EOF | |
zypper dup -l -y --no-recommends --allow-downgrade --allow-arch-change --force-resolution | |
flatpak update -y --noninteractive --force-remove | |
flatpak remove --unused --delete-data -y | |
#flatpak repair | |
journalctl --rotate | |
journalctl --vacuum-time=2d | |
zypper clean | |
rm -rfv /var/tmp/flatpak-cache-* |
Note: This gist may be outdated, thanks to all contributors in comments.
adb
is the Android CLI tool with which you can interact with your android device, from your PC
You must enable developer mode (tap 7 times on the build version in parameters) and install adb on your PC.
Don't hesitate to read comments, there is useful tips, thanks guys for this !
# Adapted from https://gist.github.com/batzner/7c24802dd9c5e15870b4b56e22135c96 | |
import getopt | |
import sys | |
import tensorflow as tf | |
usage_str = ('python tensorflow_rename_variables.py ' | |
'--checkpoint_dir=path/to/dir/ --replace_from=substr ' | |
'--replace_to=substr --add_prefix=abc --dry_run') | |
find_usage_str = ('python tensorflow_rename_variables.py ' |
This goal of this setup is to put the Sonos speakers on an untrusted network to keep all but the required traffic away from the trusted network where devices like personal computers, phones, etc. live. This write-up assumes you already have two networks setup and working.
UI broke cross-VLAN multicast DNS in this version. See below for steps to install the multicast-relay script to re-enable this. Without it, your Sonos controller app will not be able to discover your speakers on the other VLAN.
I have a Sonos Playbar, Sub, and 2 Play:3's as rear surrounds as one home theater setup connected to a UDM (non-Pro, but this should work on Pro too). Some of this setup may be easier for people with non-paired speakers, as Sonos does some shenanigans with which speaker is actively sending traffic to your wifi.
import os | |
import sys | |
import inspect | |
import signal | |
from contextlib import contextmanager | |
def _kill_self(signum, frame): | |
os._exit(0) | |
@contextmanager |
mkdir -p _output | |
for i in *.svg | |
do | |
inkscape --actions="select-all;selection-ungroup;select-all;selection-ungroup;select-all;object-stroke-to-path;" --export-filename=- $i > _output/$i | |
echo "done with "$i | |
done |
Have you ever wanted to do:
SELECT * FROM www.google.com
With BigQuery you kind of can. But have you ever wanted to do:
SELECT * FROM www.wikipedia.com
With Wikidata Query Service you kind of can (semantic web!, RDF!?, https://www.w3.org/wiki/SparqlImplementations).