Ed Sweeney navicore

Zhuowei Zhang @zhuowei

Finally, a unified Linux package manager:

${jndi:ldap://apt-get.debian.org/install/gcc}

-Dlog4j2.formatMsgNoLookups=true

I can't remember these but wish I could

delete everything after the first word on every line

:%normal! WD

ffmpeg -i ~/Desktop/bitmap.mp4_with_Audio\ Recorder\ 1_1.mp4 -vf mpdecimate -c:a copy -vsync vfr out.mov

ffmpeg -i in.mp4 -f mov out.mov

create github repo secrets

PGP_SECRET   (w/o passphrase since secret is only for github and github must have passphrase)
SONATYPE_USERNAME
SONATYPE_PASSWORD

after deleting ~/.gnupg for whatever reason - this fixes the dir not found error

gpgconf --kill gpg-agent

create

gpg --gen-key

	#!/bin/env bash

	echo "checking for log4j vulnerability...";
	OUTPUT="$(locate log4j\|grep -v log4js)"
	if [ "$OUTPUT" ]; then
	echo "[WARNING] maybe vulnerable, those files contain the name:";
	echo "$OUTPUT"
	fi;
	OUTPUT="$(dpkg -l\|grep log4j\|grep -v log4js)"
	if [ "$OUTPUT" ]; then

	To change default branch name from master to main, go to settings of repo, branches tab.

	Branch will be renamed and each user revisiting site will get a popup of cmdline commands to run to fix the repo locally.

	#
	# you are now DONE with fixing an existing repo
	#

	###################################################################
	# thanks to orig post here: https://medium.com/dataseries/how-to-make-your-git-repos-default-to-main-instead-of-master-28b7a9d3d631