I cloned the FriCAS repository on github like this:
martin@linux-hr12:~> git clone git@github.com:martinbaker/fricas.git
Cloning into 'fricas'...
remote: Counting objects: 19643, done.
remote: Compressing objects: 100% (3988/3988), done.
remote: Total 19643 (delta 15604), reused 19623 (delta 15588)
Receiving objects: 100% (19643/19643), 11.53 MiB | 1.30 MiB/s, done.
Resolving deltas: 100% (15604/15604), done.
Checking connectivity... done
martin@linux-hr12:~> cd fricas
martin@linux-hr12:~/fricas> git remote add upstream https://github.com/fricas/fricas.git
martin@linux-hr12:~/fricas> git config --add remote.upstream.fetch '+refs/remotes/*:refs/remotes/*'
martin@linux-hr12:~/fricas> git fetch upstream
remote: Counting objects: 877, done.
remote: Compressing objects: 100% (241/241), done.
remote: Total 624 (delta 387), reused 522 (delta 382)
Receiving objects: 100% (624/624), 821.71 KiB | 467.00 KiB/s, done.
Resolving deltas: 100% (387/387), completed with 48 local objects.
From https://github.com/fricas/fricas
* [new branch] gh-pages -> upstream/gh-pages
* [new branch] master -> upstream/master
* [new ref] origin/a -> origin/a
+ 58deb95...40aa963 origin/master -> origin/master (forced update)
* [new ref] svn/1.0.x -> svn/1.0.x
* [new ref] svn/aldor-interface -> svn/aldor-interface
* [new ref] svn/martin-sandbox -> svn/martin-sandbox
* [new ref] svn/new-lambda -> svn/new-lambda
* [new ref] svn/tags/1.0.0 -> svn/tags/1.0.0
* [new ref] svn/tags/1.0.1 -> svn/tags/1.0.1
* [new ref] svn/tags/1.0.2 -> svn/tags/1.0.2
* [new ref] svn/tags/1.0.3 -> svn/tags/1.0.3
* [new ref] svn/tags/1.0.4 -> svn/tags/1.0.4
* [new ref] svn/tags/1.0.5 -> svn/tags/1.0.5
* [new ref] svn/tags/1.0.6 -> svn/tags/1.0.6
* [new ref] svn/tags/1.0.7 -> svn/tags/1.0.7
* [new ref] svn/tags/1.0.8 -> svn/tags/1.0.8
* [new ref] svn/tags/1.0.9 -> svn/tags/1.0.9
* [new ref] svn/tags/1.1.0 -> svn/tags/1.1.0
* [new ref] svn/tags/1.1.1 -> svn/tags/1.1.1
* [new ref] svn/tags/1.1.2 -> svn/tags/1.1.2
* [new ref] svn/tags/1.1.3 -> svn/tags/1.1.3
* [new ref] svn/tags/1.1.4 -> svn/tags/1.1.4
* [new ref] svn/tags/1.1.5 -> svn/tags/1.1.5
* [new ref] svn/tags/1.1.6 -> svn/tags/1.1.6
* [new ref] svn/tags/1.1.7 -> svn/tags/1.1.7
* [new ref] svn/tags/1.1.8 -> svn/tags/1.1.8
* [new ref] svn/tags/1.2.0 -> svn/tags/1.2.0
* [new ref] svn/tags/1.2.1 -> svn/tags/1.2.1
* [new ref] svn/tags/1.2.2 -> svn/tags/1.2.2
* [new ref] svn/tags/1.2.3 -> svn/tags/1.2.3
* [new ref] svn/trunk -> svn/trunk
martin@linux-hr12:~/fricas> |
Checking Status
martin@linux-hr12:~> cd fricas
martin@linux-hr12:~/fricas> git status
# On branch master
# Your branch is ahead of 'origin/master' by 1 commit.
# (use "git push" to publish your local commits)
#
nothing to commit, working directory clean
|
Creating a New Branch
martin@linux-hr12:~/fricas> git branch spad-interpreter
martin@linux-hr12:~/fricas> git branch
* master
spad-interpreter
martin@linux-hr12:~/fricas> git checkout spad-interpreter
Switched to branch 'spad-interpreter' |
Uploading the new Branch
martin@linux-hr12:~/fricas> git branch
master
* spad-interpreter
martin@linux-hr12:~/fricas> cd src
martin@linux-hr12:~/fricas/src> cd spadinterp
martin@linux-hr12:~/fricas/src/spadinterp> git config --global user.name "xxxxxxxxxxx"
martin@linux-hr12:~/fricas/src/spadinterp> git config --global user.email "xxxxxxxxxxxxxxxxx"
martin@linux-hr12:~/fricas/src/spadinterp> git add Interpret.spad
martin@linux-hr12:~/fricas/src/spadinterp> git add types.spad
martin@linux-hr12:~/fricas/src/spadinterp> git commit -m 'added experimental SPAD interpreter'
[spad-interpreter 4419b16] added experimental SPAD interpreter
2 files changed, 1018 insertions(+)
create mode 100644 src/spadinterp/Interpret.spad
create mode 100644 src/spadinterp/types.spad
martin@linux-hr12:~/fricas/src/spadinterp> git push origin spad-interpreter
Counting objects: 9, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (6/6), done.
Writing objects: 100% (6/6), 8.48 KiB | 0 bytes/s, done.
Total 6 (delta 2), reused 0 (delta 0)
To git@github.com:martinbaker/fricas.git
* [new branch] spad-interpreter -> spad-interpreter
martin@linux-hr12:~/fricas/src/spadinterp> |
Setting Up Trunk
martin@linux-hr12:~> cd fricas
martin@linux-hr12:~/fricas> git checkout master
Switched to branch 'master'
Your branch is ahead of 'origin/master' by 1 commit.
(use "git push" to publish your local commits)
martin@linux-hr12:~/fricas> git branch trunk --track upstream/master
Branch trunk set up to track remote branch master from upstream.
martin@linux-hr12:~/fricas> git checkout trunk
Switched to branch 'trunk'
martin@linux-hr12:~/fricas> git pull
remote: Counting objects: 113, done.
remote: Compressing objects: 100% (44/44), done.
remote: Total 63 (delta 52), reused 28 (delta 19)
Unpacking objects: 100% (63/63), done.
From https://github.com/fricas/fricas
58deb95..402a16e master -> upstream/master
40aa963..5b5554c origin/master -> origin/master
58deb95..402a16e svn/trunk -> svn/trunk
Updating 58deb95..402a16e
Fast-forward
ChangeLog | 35 ++++++++++++++
src/algebra/aggcat.spad.pamphlet | 9 ----
src/algebra/card.spad.pamphlet | 4 +-
src/algebra/{exposed.lsp.pamphlet => exposed.lsp} | 53 ---------------------
src/algebra/gaussian.spad.pamphlet | 10 ++++
src/algebra/string.spad.pamphlet | 3 --
src/doc/htex/PERMAN.htex | 2 +-
src/input/bugs2008.input | 7 ---
src/input/bugs2014.input | 49 +++++++++++++++++++
src/input/elemnum.input | 3 +-
src/input/i_bugs.input | 3 ++
src/interp/Makefile.in | 5 +-
src/interp/i-code.boot | 2 +
src/interp/i-coerce.boot | 20 ++++----
src/interp/i-spec2.boot | 13 +++--
src/interp/match.boot | 8 ----
16 files changed, 120 insertions(+), 106 deletions(-)
rename src/algebra/{exposed.lsp.pamphlet => exposed.lsp} (95%)
martin@linux-hr12:~/fricas> git checkout spad-interpreter
Switched to branch 'spad-interpreter'
martin@linux-hr12:~/fricas> |