Janos Kasza janoskk

🏠

Working from home

janoskk / renew-gpgkey.md

Created October 8, 2020 14:05 — forked from krisleech/renew-gpgkey.md

Renew Expired GPG key

Renew GPG key

Given that your key has expired.

$ gpg --list-keys
$ gpg --edit-key KEYID

Use the expire command to set a new expire date:

janoskk / pdbdump.c

Created August 5, 2022 18:23 — forked from mridgers/pdbdump.c

Small tool to list and query symbols in PDB files.

	//------------------------------------------------------------------------------
	// pdbdump.c - dump symbols from .pdb and executable files (public domain).
	// - to compile; cl.exe /Ox /Zi pdbdump.c
	// -
	// - Martin Ridgers, pdbdump 'at' fireproofgravy.co.uk
	//------------------------------------------------------------------------------

	#include <stdio.h>
	#include <Windows.h>
	#include <DbgHelp.h>

janoskk / .bash_profile

Created January 7, 2025 14:51 — forked from n-st/.bash_profile

Start zsh from bashrc. Useful when you can't use chsh or when the same LDAP account is used both on systems with zsh installed and ones without.

	# .bash_profile is executed for login shells,
	# .bashrc is executed for interactive non-login shells.
	# We want the same behaviour for both, so we source .bashrc from .bash_profile.
	# Also, when .bash_profile exists, bash ignores .profile, so we have to source
	# it explicitly.

	if [ -f "$HOME/.profile" ]; then
	. "$HOME/.profile"
	fi