Ticket #3810: keep panelization while switching panel listing mode.
[midnight-commander.git] / maint / utils / travis-deploy.sh
blob9222c698e57a6316a2d3674baaba454d4b0d3fd6
1 #!/bin/bash
3 # Midnight Commander - deployment script for Travis CI
5 # Copyright (C) 2016
6 # The Free Software Foundation, Inc.
8 # Written by:
9 # Yury V. Zaytsev <yury@shurup.com>, 2016
11 # This file is part of the Midnight Commander.
13 # The Midnight Commander is free software: you can redistribute it
14 # and/or modify it under the terms of the GNU General Public License as
15 # published by the Free Software Foundation, either version 3 of the License,
16 # or (at your option) any later version.
18 # The Midnight Commander is distributed in the hope that it will be useful,
19 # but WITHOUT ANY WARRANTY; without even the implied warranty of
20 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
21 # GNU General Public License for more details.
23 # You should have received a copy of the GNU General Public License
24 # along with this program. If not, see <http://www.gnu.org/licenses/>.
26 set -e
27 set -x
29 GLOBAL_VERSION="6.5.2"
30 GLOBAL_URL="http://ftp.gnu.org/pub/gnu/global/global-${GLOBAL_VERSION}.tar.gz"
31 HTAGSFIX_URL="https://github.com/mooffie/htagsfix/raw/master/htagsfix"
33 mkdir .global && pushd .global # ignored by GLOBAL's indexer
35 wget ${GLOBAL_URL}
36 tar zxvf global-${GLOBAL_VERSION}.tar.gz > /dev/null 2>&1
38 pushd global-${GLOBAL_VERSION}
39 ./configure --prefix=$(pwd)/install
40 make
41 make install
42 popd
44 export PATH="$(pwd)/global-${GLOBAL_VERSION}/install/bin:$PATH"
46 popd
48 gtags -v > /dev/null 2>&1
50 htags --suggest -t "Welcome to the Midnight Commander source tour!" > /dev/null 2>&1
52 wget --no-check-certificate ${HTAGSFIX_URL}
54 ruby htagsfix > /dev/null 2>&1
56 cd HTML
58 touch .nojekyll
59 echo "source.midnight-commander.org" > CNAME
61 git init
63 git config user.name "Travis CI"
64 git config user.email "travis@midnight-commander.org"
66 git add . > /dev/null 2>&1
67 git commit -m "Deploy to GitHub Pages" > /dev/null 2>&1
69 git push --force --quiet git@github.com:MidnightCommander/source.git master:gh-pages > /dev/null 2>&1
71 exit 0