← Back to branch summary

~ubuntu-branches/debian/jessie/eso-midas/jessie

« back to all changes in this revision

Viewing changes to install/unix/updatebgr.sh

  • Committer: Package Import Robot
  • Author(s): Ole Streicher
  • Date: 2014-04-22 14:44:58 UTC
  • Revision ID: package-import@ubuntu.com-20140422144458-okiwi1assxkkiz39
Tags: upstream-13.09pl1.2+dfsg
Import upstream version 13.09pl1.2+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
install/unix/updatebgr.sh
 
1
#! /bin/bash
 
2
# .TYPE           command
 
3
# .NAME           updatebgr.sh
 
4
# .LANGUAGE       shell script
 
5
# .ENVIRONMENT    Unix Systems. Executable under SHELL and C-SHELL
 
6
# .COMMENTS       Installation procedure of the MIDAS system starting from
 
7
#                 the scratch.
 
8
#                 
 
9
# .REMARKS        The external variable $MIDASHOME and $MIDASVERS must be 
 
10
#                 set before run 
 
11
#                 this script. They can be defined in the ".profile" or 
 
12
#                 ".cshrc" and executed when you login in the MIDAS account.
 
13
#
 
14
# .AUTHOR         Carlos Guirao
 
15
# .VERSION 1.1    24-Jun-1988:          Implementation
 
16
# .VERSION 1.2    910219:               Removing System name
 
17
# .VERSION 2.1    910724:               Output to $MIDASHOME/$MIDVERS/local
 
18
# 111206        last modif
 
19
 
 
20
if [ $# -gt 1 ]
 
21
then
 
22
        echo "Use: update.bgr [MAKE_OPTIONS]"   
 
23
        exit
 
24
fi
 
25
 
 
26
#
 
27
# If $MID_HOME/tmp does not exists then creates it.
 
28
#
 
29
if [ ! -d $MID_HOME/tmp ]; then
 
30
    mkdir $MID_HOME/tmp
 
31
fi
 
32
 
 
33
time /bin/bash ./update $1 > $MIDASHOME/$MIDVERS/tmp/update.$$ 2>&1 &
 
34
echo "Running update in background"
 
35
echo "Results are coming in $MIDASHOME/$MIDVERS/tmp/update.$$"