Skip to content

Instantly share code, notes, and snippets.

@jclosure
Last active August 12, 2017 03:46
Show Gist options
  • Save jclosure/484616a40252d8367d881b7887a57468 to your computer and use it in GitHub Desktop.
Save jclosure/484616a40252d8367d881b7887a57468 to your computer and use it in GitHub Desktop.
gnu global - How to install GNU Global 6.x on Ubuntu 14.04
#!/bin/bash
# install_global.sh
echo "install_global.sh ...."
echo "install package for GNU global..."
sudo apt-get update
sudo apt-get -y install curl
sudo apt-get -y install wget
sudo apt-get -y install ncurses-dev
sudo apt-get -y install exuberant-ctags
sudo apt-get -y install python
CUR=`pwd`
echo "install GNU global..."
# TODO: Make a dpkg instead of just install
# get latest from: https://ftp.gnu.org/gnu/global/
wget https://ftp.gnu.org/gnu/global/global-6.5.tar.gz
tar zxvf global-6.5.tar.gz
cd global-6.5
./configure
make
sudo make install
cd $CUR
# find a better way to do this..
echo "install pip..."
curl -kL https://raw.github.com/pypa/pip/master/contrib/get-pip.py | sudo python
echo "install pygments..."
sudo pip install pygments==1.6
echo "$0 done."
exit 0
@jclosure
Copy link
Author

jclosure commented Aug 3, 2017

This should be made into a .dpkg instead of installed directly. https://community.linuxmint.com/tutorial/view/162

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment