Skip to content

Instantly share code, notes, and snippets.

apt install python ffmpeg
curl -L http://yt-dl.org/downloads/latest/youtube-dl -o /usr/local/bin/youtube-dl
chmod a+rx /usr/local/bin/youtube-dl
youtube-dl -f 'bestvideo[ext=mp4]+bestaudio[ext=m4a]/bestvideo+bestaudio' --merge-output-format mp4 https://youtube.com/watch?v=fVLDxmjeyVo
@judge2020
judge2020 / README.md
Last active May 16, 2020 23:31
github actions echo set env for all steps
@judge2020
judge2020 / install-buildtools.ps1
Created June 12, 2020 13:47
Install Visual Studio 2019 Build Tools
cd $env:TEMP
Invoke-WebRequest -Uri "https://aka.ms/vs/16/release/vs_buildtools.exe" -OutFile vs_buildtools.exe
vs_buildtools.exe --wait --norestart --nocache `
--installPath C:\BuildTools `
--add Microsoft.VisualStudio.Workload.MSBuildTools `
--add Microsoft.VisualStudio.Workload.VCTools `
--add Microsoft.VisualStudio.Component.TestTools.BuildTools `
--add Microsoft.VisualStudio.Component.VC.CMake.Project `
--add Microsoft.VisualStudio.Component.Windows10SDK.18362 `
# sudo su
# crontab -e
2 * * * * mkdir -p -m777 /tmp/cores && echo "/tmp/cores/core.%e.%p.%h.%t" > /proc/sys/kernel/core_pattern
@judge2020
judge2020 / fixgpg.bat
Created June 24, 2020 13:26
Fix GnuPG/GPG4Win
REM place this on your desktop and click whenever GPG agent dies
gpgconf --kill gpg-agent
gpg-connect-agent reloadagent /bye
pause
@judge2020
judge2020 / cg2glsl.py
Created September 21, 2021 01:56 — forked from rdb/cg2glsl.py
Convert Cg shaders designed for Panda3D to GLSL shaders. Requires cgc.exe to be installed (part of the NVIDIA Cg Toolkit)
import subprocess
import sys
import os
glsl_extensions = {'v': '.vert', 'f': '.frag', 'g': '.geom'}
if len(sys.argv) != 2:
print("Usage: cg2glsl.py something.sha")
sys.exit(1)

This opens an elevated Notepad process for editing the hosts file on Windows.

  1. Open a run box with Win+R
  2. Enter the following:
powershell Start-Process -Verb RunAs notepad C:\Windows\system32\drivers\etc\hosts

https://www.sec.gov/Archives/edgar/data/1477333/000119312519222176/d735023ds1.htm#:~:text=Key%20elements%20of%20our%20business%20model%20include%3A

Free customer base—Free customers are an important part of our business. These customers sign up for our service through our self-serve portal and are typically individual developers, early stage startups, hobbyists, and other users. Our free customers create scale, serve as efficient brand marketing, and help us attract developers, customers, and potential employees. These free customers expose us to diverse traffic, threats, and problems, often allowing us to see potential security, performance, and reliability issues at the earliest stage. This knowledge allows us to improve our products and deliver more effective solutions to our paid customers. In addition, the added scale and diversity of this traffic makes us valuable to a diverse set of global ISPs, improving the breadth and economic terms of our interconnections, bandwidth costs, and co-location expense