Skip to content

Instantly share code, notes, and snippets.

View mcornella's full-sized avatar

Marc Cornellà mcornella

View GitHub Profile
@mcornella
mcornella / .bash_profile
Created January 14, 2022 17:45 — forked from koush/.bash_profile
Put this in your .bash_profile(s) to open VS Code on your local machine when SSH into a remote machine.
# this needs to be on the *remote* machine.
function code() {
if [ -z "$SSH_CLIENT" ]
then
unset -f code
code $@
return
fi
@mcornella
mcornella / build-zsh.txt
Last active June 6, 2016 18:58
This workaround is obsolete, build 14342 solves the issue. Please use that build instead. See https://github.com/Microsoft/BashOnWindows/issues/91#issuecomment-218379746
# THIS HAS BECOME OBSOLETE. IN BUILD 14342 THIS IS SOLVED, PLEASE USE THAT BUILD INSTEAD (OR MORE RECENT ONES)
# See https://github.com/Microsoft/BashOnWindows/issues/91#issuecomment-218379746
# Workaround to build ZSH on #BashOnUbuntuOnWindows.
# See https://github.com/Microsoft/BashOnWindows/issues/91#issuecomment-208077623
# RUN EACH LINE INDEPENDENTLY. THIS IS NOT AN AUTOMATIC BASH SCRIPT.
# Install dependencies
apt-get install -y git-core gcc make autoconf yodl libncursesw5-dev texinfo checkinstall