Skip to content

Instantly share code, notes, and snippets.

View diasbruno's full-sized avatar

Bruno Dias diasbruno

View GitHub Profile
@mattiaslundberg
mattiaslundberg / arch-linux-install
Last active May 26, 2024 17:26
Minimal instructions for installing arch linux on an UEFI system with full system encryption using dm-crypt and luks
# Install ARCH Linux with encrypted file-system and UEFI
# The official installation guide (https://wiki.archlinux.org/index.php/Installation_Guide) contains a more verbose description.
# Download the archiso image from https://www.archlinux.org/
# Copy to a usb-drive
dd if=archlinux.img of=/dev/sdX bs=16M && sync # on linux
# Boot from the usb. If the usb fails to boot, make sure that secure boot is disabled in the BIOS configuration.
# Set swedish keymap
# -*- coding: utf-8 -*-#
# December 31 2015, Christian Hopps <chopps@gmail.com>
#
# Copyright (c) 2015-2016 by Christian E. Hopps.
# All rights reserved.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
@rmotyka
rmotyka / F# jwt token generator
Created September 28, 2017 10:00
F# jwt token generator
module datab.JwtGenerator
open System
open System.IdentityModel.Tokens.Jwt
open System.Security.Claims
open System.Text
open Microsoft.AspNetCore.Authorization
open Microsoft.AspNetCore.Mvc
open Microsoft.Extensions.Configuration
open Microsoft.IdentityModel.Tokens
import React, {Component, PureComponent} from 'react';
import PropTypes from 'prop-types';
import { spring, Motion, presets } from 'react-motion';
import Modal from 'react-modal';
const portalClassName = "modal-portal";
const bodyOpenClassName = "modal-opened";
export const MODAL_VERTICAL_POSITIONS = {
TOP: 'top',
@krisleech
krisleech / renew-gpgkey.md
Last active July 10, 2024 14:14
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: