vsajip

#
# Copyright (C) 2013-2020 Vinay Sajip. New BSD License.
#
import os
import os.path
from subprocess import Popen, PIPE
import sys
from threading import Thread
from urllib.parse import urlparse
from urllib.request import urlretrieve

Chaser324

Whether you're trying to give back to the open source community or collaborating on your own projects, knowing how to properly fork and generate pull requests is essential. Unfortunately, it's quite easy to make mistakes or not know what you should do when you're initially learning the process. I know that I certainly had considerable initial trouble with it, and I found a lot of the information on GitHub and around the internet to be rather piecemeal and incomplete - part of the process described here, another there, common hangups in a different place, and so on.

In an attempt to coallate this information for myself and others, this short tutorial is what I've found to be fairly standard procedure for creating a fork, doing your work, issuing a pull request, and merging that pull request back into the original project.

Creating a Fork

Just head over to the GitHub page and click the "Fork" button. It's just that simple. Once you've done that, you can use your favorite git client to clone your repo or j

bulletmark

#!/bin/bash
if [[ $# -ne 1 ]]; then
    echo "usage $0 dir" >&2
    exit 1
fi

dir="$1"

if [[ -e $dir ]]; then
    echo "Error: $dir already exists" >&2

bulletmark

#!/usr/bin/python3
import numpy as np

DATA = 'data/day04'

def total(board):
    return np.sum(board[board > 0])

def main():
    boards = []

bulletmark

#!/usr/bin/env python3
# Since GNOME 47, 4-finger gestures are mapped to the same standard
# GNOME gestures as 3-finger gestures. See
# https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3275.
#
# This script patches gnome-shell to disable 3-finger gestures and only
# enable 4-finger gestures for standard GNOME, so you can assign
# 3-finger gestures to your own custom actions (e.g. using
# libinput-gestures). Simply run this as sudo/root then log out and back
# in, or restart. You will have to run it again if gnome-shell is