Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Further text-mode console client enhancements
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 14 Jul 2016 00:09:43 +0000 (19:09 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 14 Jul 2016 00:15:38 +0000 (19:15 -0500)
commita569df65eac9f48c73e30f85afbb385f65c2eb38
treed20399fac4edbb411ea72333c255eb806fb2a6ab
parentf4b69a7f12e47d146be4cecf1d46dfd37f87d89a
Further text-mode console client enhancements

- cleanup of color handling in both curses clients
- v3_cons_tc cleanup for function key, etc, handling
- v3_console selects the better of _tc and _sc depending
  on which have been built in the instalation
linux_usr/v3_cons_sc.c
linux_usr/v3_cons_tc.c
linux_usr/v3_console