Posted by Kristian Golding on August 5, 2018
Here is how I install nodejs to get access to cool tools like “tldr” (a summarized version of the typical man pages) and “ungit” (an interface to Git to ease people into using it).
Run these two commands to get nodejs:
curl -sL https://deb.nodesource.com/setup_9.x | sudo -E bash -
sudo apt-get install -y nodejs
then you can install ungit, tldr, whatever you want.
sudo npm install -g tldr
These commands work with Linux Mint 17 (or Ubuntu 14.04).
Posted by Kristian Golding on February 6, 2018
Posted by Kristian Golding on January 30, 2018
The best way I found to do this was by running these two commands:
git clone --mirror old-remote-url-ending-in-dot-git
then move into the directory (ending in .git) that would be created, and run this command:
git push --mirror new-remote-url-ending-in-dot-git
All existing branches and tags would get pushed at one fell swoop.
Posted by Kristian Golding on November 5, 2016
A few times I’ve switched from the default private networking (NAT with port forwarding) to public networking (bridged) in the Vagrantfile. Â When switching *back* to private networking, I wasn’t able to SSH back into the machine (i.e, “vagrant up” will time out).
Assuming you’re using a Linux Mint guest (or other Debian-based) OS, a fix for this is to open the /etc/network/interfaces file and remove anything in between the #VAGRANT BEGIN and #VAGRANT END section. Â Next, run vagrant reload from the host OS to reload the guest with the updated network interface configuration.