Skip to content

Instantly share code, notes, and snippets.

View lidalei's full-sized avatar

Dalei Li lidalei

  • FareHarbor
  • The Netherlands
View GitHub Profile
public static final String ANSI_RESET = "\u001B[0m";
public static final String ANSI_BLACK = "\u001B[30m";
public static final String ANSI_RED = "\u001B[31m";
public static final String ANSI_GREEN = "\u001B[32m";
public static final String ANSI_LIGHT_YELLOW = "\u001B[93m";
public static final String ANSI_YELLOW = "\u001B[33m";
public static final String ANSI_YELLOW_BACKGROUND = "\u001B[43m";
public static final String ANSI_BLUE = "\u001B[34m";
public static final String ANSI_PURPLE = "\u001B[35m";
public static final String ANSI_CYAN = "\u001B[36m";
@fredbenenson
fredbenenson / kickstarter_sql_style_guide.md
Last active August 2, 2026 01:07
Kickstarter SQL Style Guide
layout default
title SQL Style Guide
description A guide to writing clean, clear, and consistent SQL.
tags
data
process

Purpose

@nk9
nk9 / largestFiles.py
Last active December 5, 2024 18:54
Python script to find the largest files in a git repository.
#!/usr/bin/python
# -*- coding: utf-8 -*-
# Python script to find the largest files in a git repository.
# The general method is based on the script in this blog post:
# http://stubbisms.wordpress.com/2009/07/10/git-script-to-show-largest-pack-objects-and-trim-your-waist-line/
#
# The above script worked for me, but was very slow on my 11GB repository. This version has a bunch
# of changes to speed things up to a more reasonable time. It takes less than a minute on repos with 250K objects.
#
@niksumeiko
niksumeiko / git.migrate
Last active September 9, 2026 22:19
Moving git repository and all its branches, tags to a new remote repository keeping commits history
#!/bin/bash
# Sometimes you need to move your existing git repository
# to a new remote repository (/new remote origin).
# Here are a simple and quick steps that does exactly this.
#
# Let's assume we call "old repo" the repository you wish
# to move, and "new repo" the one you wish to move to.
#
### Step 1. Make sure you have a local copy of all "old repo"
### branches and tags.
@pksunkara
pksunkara / config
Last active September 2, 2026 15:37
Sample of git config file (Example .gitconfig) (Place them in $XDG_CONFIG_HOME/git)
# vi: ft=dosini
[user]
name = Pavan Kumar Sunkara
email = pavan.sss1991@gmail.com
username = pksunkara
[core]
editor = nvim
whitespace = fix,-indent-with-non-tab,trailing-space,cr-at-eol
pager = delta
[column]