I use pandoc to convert masses of Word documents to markdown. Still working on a generic script, but for now here's the "gist" of what I type into the terminal:
$ myfilename="example"
$ pandoc \
-t markdown_strict \
--extract-media='./attachments/$myfilename' \
$myfilename.docx \
| # 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 |
|---|