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

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

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