Skip to content

Instantly share code, notes, and snippets.

@Villenny
Villenny / refreshenv.bashrc
Last active June 25, 2023 00:02
Chocolatey refreshenv for GIT Bash.
function refreshenv
{
powershell -NonInteractive - <<EOF
\$filename="C:\temp\refresh.env"
Write-Host("Updating environment session from chocolatey")
Import-Module "\$env:ChocolateyInstall\\helpers\\chocolateyProfile.psm1"
Update-SessionEnvironment
Write-Host("Scanning env")
# Round brackets in variable names cause problems with bash
@howardhamilton
howardhamilton / pushd.py
Last active May 2, 2023 02:56
A pushd/popd context for Python scripts
"""A Python context to move in and out of directories.
Copyright 2016-2020, Howard Hamilton.
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
associated documentation files (the "Software"), to deal in the Software without restriction, in-
cluding without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense,
and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do
so, subject to the following conditions:
@jhnns
jhnns / git-pr
Last active June 27, 2025 08:11
Git custom command to quickly checkout pull-requests from different origins as described in https://help.github.com/articles/checking-out-pull-requests-locally. Place this file somewhere in your path and git will run it everytime you type `git pr ...`
#!/bin/bash
if [ -z "$1" ]; then
echo "Usage: git pr [clean] [<remote>] <id-or-url>"
echo ""
echo "Examples:"
echo "git pr 42 --> git fetch origin pull/42/head:pr/origin/42"
echo "git pr upstream 42 --> git fetch upstream pull/42/head:pr/upstream/42"
echo "git pr https://github.com/peerigon/phridge/pull/1 --> git fetch https://github.com/peerigon/phridge.git pull/1/head:pr/peerigon/phridge/1"
echo "git pr clean --> Deletes all branches that match pr/*/* and pr/*/*/*"
@vbajpai
vbajpai / opkgclean.sh
Last active April 3, 2025 19:22
If opkg runs out of space, it will not remove the files it was installing. Run this custom script in order recover the space by removing these files and the installed dependencies.
#!/bin/sh
#takes one argument/parameter: the name of the package which didn't install correctly and should be removed along with its dependencies
#do opkg update first
#example: ./opkgremovepartlyinstalledpackage.sh pulseaudio-daemon
#get list of all packages that would be installed along with package x
opkg update
PACKAGES=`opkg --force-space --noaction install $1 | grep http | cut -f 2 -d ' ' | sed 's/.$//'`
for i in $PACKAGES
do