~cgeoga/GPMaxlik.jl

GPMaxlik.jl/registry_update/updater.sh -rw-r--r-- 709 bytes
42e561f9 — Chris Geoga Add wrapper layer to the `gnll` function so that the coordinate a month ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
# This script needs to be run in a terminal where the proper ssh agent for
# github has been created. I'm not sure how much more general I need to make
# this, but always open to suggestions if other people want to bump the version.

if [ -d "./General" ]; then
  echo "Found local clone of General already, fast-forwarding..."
  cd General
  git merge upstream/master
  cd ../
else
  echo "Cloning into fork of General syncing..."
  git clone git@github.com:cgeoga/General.git
  cd General
  git remote add upstream https://github.com/JuliaRegistries/General.git
  git merge upstream/master
  cd ../
fi

# Now run the julia script:
echo "Updating package version..."
$JULIA_HOME/julia --project updater.jl