Tags » Configure

Install Jetty web server in CentOS/RHEL

Jetty is a Java HTTP (Web) server and Java Servlet container. While Web Servers are usually associated with serving documents to people, Jetty is now often used for machine to machine communications, usually within larger software frameworks. 315 more words


Configure sagetex.sty or Make SageTeX known to TeX

Following are the commands in which you should be able configure sagetex.sty

kpsewhich -var-value=TEXMFHOME
cp -R SAGE_ROOT/local/share/texmf/tex TEXMFHOME

where SAGE_ROOT is, as usual, replaced with the location of your Sage installation and… 19 more words

FPiV Easy Setup.


Having ran through the installation procedure a number of times, I decided to write a script to automate it as much as possible.  The result was a script that covered about 95% of the installation and took about two minutes to run on a recent built of Raspbian (2015-05-05).  752 more words

Raspberry Pi

Free copy of Windows 10

To all of you that have copies of Windows 7 or Windows 8 you have a chance to claim a free copy of Windows 10 this July 29th, 2015… 110 more words

How To