GitHub Working with a Clone of FriCAS

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> 

 


metadata block
see also:
  • I mostly followed Ralfs instructions here
Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

 

 

Commercial Software Shop

Where I can, I have put links to Amazon for commercial software, not directly related to this site, but related to the subject being discussed, click on the appropriate country flag to get more details of the software or to buy it from them.

 

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2017 Martin John Baker - All rights reserved - privacy policy.