Last active
August 12, 2017 03:46
-
-
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
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This should be made into a .dpkg instead of installed directly. https://community.linuxmint.com/tutorial/view/162