Page Menu
Home
c4science
Search
Configure Global Search
Log In
Files
F92701931
make-install.sh
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Fri, Nov 22, 22:32
Size
1 KB
Mime Type
text/x-shellscript
Expires
Sun, Nov 24, 22:32 (1 d, 23 h)
Engine
blob
Format
Raw Data
Handle
22436244
Attached To
R3600 invenio-infoscience
make-install.sh
View Options
#!/usr/bin/env bash
#
# This file is part of Invenio.
# Copyright (C) 2016 CERN.
#
# Invenio is free software; you can redistribute it
# and/or modify it under the terms of the GNU General Public License as
# published by the Free Software Foundation; either version 2 of the
# License, or (at your option) any later version.
#
# Invenio is distributed in the hope that it will be
# useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with Invenio; if not, write to the
# Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston,
# MA 02111-1307, USA.
#
# In applying this license, CERN does not
# waive the privileges and immunities granted to it by virtue of its status
# as an Intergovernmental Organization or submit itself to any jurisdiction.
# quit on errors:
set -o errexit
# check environment variables:
if [ "${INVENIO_WEB_DSTDIR}" = "" ]; then
echo "[ERROR] Please set environment variable INVENIO_WEB_DSTDIR before runnning this script."
echo "[ERROR] Example: export INVENIO_WEB_DSTDIR=/opt/invenio"
exit 1
fi
if [ "${INVENIO_WEB_USER}" = "" ]; then
echo "[ERROR] Please set environment variable INVENIO_WEB_USER before runnning this script."
echo "[ERROR] Example: export INVENIO_WEB_USER=www-data"
exit 1
fi
# quit on unbound symbols:
set -o nounset
# install sources and restart WSGI application:
(make -s && sudo -u "${INVENIO_WEB_USER}" make -s install && \
sudo -u "${INVENIO_WEB_USER}" "${INVENIO_WEB_DSTDIR}/bin/inveniocfg" --update-all && \
sudo -u "${INVENIO_WEB_USER}" touch "${INVENIO_WEB_DSTDIR}/var/www-wsgi/invenio.wsgi") > /dev/null
Event Timeline
Log In to Comment