This is a list of URLs to PostgreSQL EXTENSION repos, listed in alphabetical order of parent repo, with active forks listed under each parent.
⭐️ >= 10 stars
⭐️⭐️ >= 100 stars
⭐️⭐️⭐️ >= 1000 stars
Numbers of stars might not be up-to-date.
""" | |
Add command history and tab completion to python shell. | |
1. Save this file in ~/.pythonrc.py | |
2. Add the following line to your ~/.bashrc: | |
export PYTHONSTARTUP="$HOME/.pythonrc.py" | |
""" | |
def _enable_history_and_completer(): |
Based on https://busylog.net/telnet-imap-commands-note/
The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.
The correct way of creating a private frok by duplicating the repo is documented here.
For this assignment the commands are:
git clone --bare git@github.com:usi-systems/easytrace.git
module Main where | |
import Html (..) | |
import Html.Attributes (..) | |
import Html.Events (..) | |
import List | |
import LocalChannel as LC | |
import Signal | |
-- Model |
#!/usr/bin/perl | |
use strict; | |
use warnings; | |
use feature 'say'; | |
use feature 'signatures'; | |
no warnings 'experimental::signatures'; | |
use Sys::Hostname; | |
use HTTP::Tiny; |
This is a guide on how to email securely.
There are many guides on how to install and use PGP to encrypt email. This is not one of them. This is a guide on secure communication using email with PGP encryption. If you are not familiar with PGP, please read another guide first. If you are comfortable using PGP to encrypt and decrypt emails, this guide will raise your security to the next level.
git branch -m old_branch new_branch # Rename branch locally | |
git push origin :old_branch # Delete the old branch | |
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote |
#!/bin/bash | |
delay=0.2 | |
title='default' | |
count=0 | |
loop=1 #0 for infinite loop | |
# Set if you want to skip mouse selection | |
if [[ $# -eq 6 ]] | |
then |