| # Flexible WSL2 SSH Setup Script with Distribution Detection | |
| # Ensure running as Administrator | |
| if (-NOT ([Security.Principal.WindowsPrincipal][Security.Principal.WindowsIdentity]::GetCurrent()).IsInRole([Security.Principal.WindowsBuiltInRole] "Administrator")) { | |
| Write-Warning "Please run this script as Administrator!" | |
| Exit | |
| } | |
| # Function to get the default WSL distribution | |
| function Get-DefaultWSLDistribution { |
| # Zed Build and Update Script for Windows | |
| # This script builds or updates Zed from source and sets up a command-line interface. | |
| # Enable strict mode | |
| Set-StrictMode -Version Latest | |
| $ErrorActionPreference = "Stop" | |
| # Configuration | |
| $ZedRepo = "https://github.com/zed-industries/zed.git" | |
| $BuildDir = "$env:USERPROFILE\zed-build" |
Get the metadata and content of all files in a given GitHub repo using the GraphQL API
You might want to get a tree summary of files in a repo without downloading the repo, or maybe you want to lookup the contents of a file again without download the whole repo.
The approach here is to query data from GitHub using the Github V4 GraphQL API.
| Credits | |
| # https://c-nergy.be/blog/?p=13655 | |
| # https://askubuntu.com/questions/844245/how-to-compile-latest-pulseaudio-with-webrtc-in-ubuntu-16-04 | |
| # https://askubuntu.com/questions/496549/error-you-must-put-some-source-uris-in-your-sources-list | |
| # https://unix.stackexchange.com/questions/65167/enable-udev-and-speex-support-for-pulseaudio | |
| # https://rudd-o.com/linux-and-free-software/how-to-make-pulseaudio-run-once-at-boot-for-all-your-users | |
| # https://gist.github.com/rkttu/35ecab5604c9ddc356b0af4644d5a226 | |
| # Installation and Enhanced session | |
| # follow steps on the post below, I installed Ubuntu 22.04 on a Windows 11 machine |
| git log --pretty=format:"@%ad ~~%s~~" --date=short --shortstat \ | |
| | tr "\n" " " \ | |
| | tr "@" "\n" \ | |
| | grep -v 'skip ci' \ | |
| | grep -v 'deps' \ | |
| | grep -v 'dependencies' \ | |
| | sed -En 's/ ~~.*~~ /,/p' |
After long searching I did not find a good description of how to set up Syncthing that works exclusively via CLI without using a Web browser on the devices.
This is useful for example on a headless Raspberry Pi without proxying web-traffic through SSH or with port-forwarding limitations. In this example we will want to share the default folder from Machine A with Machine B
| Machine A | Machine B |
|---|
| import requests | |
| import base64 | |
| from tqdm import tqdm | |
| master_json_url = 'https://178skyfiregce-a.akamaihd.net/exp=1474107106~acl=%2F142089577%2F%2A~hmac=0d9becc441fc5385462d53bf59cf019c0184690862f49b414e9a2f1c5bafbe0d/142089577/video/426274424,426274425,426274423,426274422/master.json?base64_init=1' | |
| base_url = master_json_url[:master_json_url.rfind('/', 0, -26) + 1] | |
| resp = requests.get(master_json_url) | |
| content = resp.json() |