Problem: My V800 did not find my smartphone.
Solution: Keep the Polar Flow app running on my Android smartphone.
Category: Uncategorized
-
GNU coreutils: date input formats: seconds since the Epoch
$ date '+%Y-%m-%d-%H-%M-%S' --date=@SECONDS
-
Eurovision Song Contest 2016 – all my favourites
- https://www.youtube.com/watch?v=YfnhDfy8AjU – Italy: Francesca Michielin – No Degree of Separation
- https://www.youtube.com/watch?v=3pvhx0z3ZFI – Austria: Zoë Straub – Loin d’ici
- https://www.youtube.com/watch?v=vytgHD2pqyk – the Netherlands: Douwe Bob – Slow Down
- https://www.youtube.com/watch?v=iP3USrYpr5w – Belgium: Laura Tesoro – What’s The Pressure
-
XQuery …
- https://en.wikipedia.org/wiki/XQuery
- http://www.xml.com/pub/a/2005/03/02/xquery.html – Bob DuCharme: Getting Started with XQuery
- http://shop.oreilly.com/product/0636920035589.do – O’Reilly Media book on XQuery, 2nd Edition
- https://en.wikibooks.org/wiki/XQuery
- https://www.w3.org/XML/Query/#implementations
- https://en.wikipedia.org/wiki/Saxon_XSLT – “Saxon is an XSLT and XQuery processor …“
- https://sourceforge.net/projects/saxon/files/
- https://sourceforge.net/projects/saxon/files/Saxon-HE/9.7/readme97.txt
- http://www.saxonica.com/documentation/index.html#!about/installationjava
- http://www.saxonica.com/documentation/documentation.xml
- http://www.saxonica.com/html/documentation/using-xquery/
- http://www.saxonica.com/html/documentation/using-xquery/commandline.html
-
O’Reilly Media book: XQuery, 2nd Edition
- http://shop.oreilly.com/product/0636920035589.do
- http://www.datypic.com/books/xquery/examples.html – sample queries and XML files
- http://www.xqueryfunctions.com
I am executing the examples with Saxon (“Home Edition”), e.g.:
$ saxon net.sf.saxon.Query example0105.xqy
It does help though to have a more serious look at Saxon’s “using XQuery” (on the command line) documentation. There are quite a few command line options, and some of them may be of interest to you occasionally.
Some (or even all?!?) sample XML files need to be made available by different names; these names get shown inside the files themselves. E.g. if
example0101.xmlis not (also) available ascatalog.xml, thenexample0105.xqywill not work.… name needed by the queries example0101.xmlcatalog.xmlexample0102.xmlprices.xmlexample0103.xmlorder.xml… … -
Jenkins CI: how easy is the migration to Jenkins-2? 1st attempt – looks like completed successfully
- https://jenkins.io
- created a copy of my start-up script rcjenkins by the name of rcjenkins2
- downloaded http://mirrors.jenkins-ci.org/war/2.0/jenkins.war to $HOME/JENKINS_WARS/jenkins-2-000.war
- I don’t see a need to change anything regarding JENKINS_WARS and the way I select the .war I want to start within rcjenkins resp. rcjenkins2
- installed all available, updatable plugins within “Manage Plugins”; in order to be sure, they all work in the “old set-up”, that needs one round-trip of restarting Jenkins
- …/rcjenkins stop
- my env. var. JENKINS_HOME has been pointing to a directory JENKINS_HOME_005 so far
- I created a fresh copy of JENKINS_HOME_005 by the name of JENKINS_HOME_200
- for the time being JENKINS_HOME will now point to JENKINS_HOME_200
- …/rcjenkins2 start
- https://…/jenkins/descriptor/jenkins.install.UpgradeWizard/upgrade
- … “Installing Plugins/Upgrades” …
- I did not “check” the “automatic restart”
- instead I initiated the restart myself after all the plugins/upgrades had gotten installed
- after the restart I started my favourite job, and everything looks fine with my Jenkins-2.0 installation
-
Jenkins CI: how easy is the migration to Jenkins-2? 1st attempt – looks like completed successfully
- https://jenkins.io
- created a copy of my start-up script rcjenkins by the name of rcjenkins2
- downloaded http://mirrors.jenkins-ci.org/war/2.0/jenkins.war to $HOME/JENKINS_WARS/jenkins-2-000.war
- I don’t see a need to change anything regarding JENKINS_WARS and the way I select the .war I want to start within rcjenkins resp. rcjenkins2
- installed all available, updatable plugins within “Manage Plugins”; in order to be sure, they all work in the “old set-up”, that needs one round-trip of restarting Jenkins
- …/rcjenkins stop
- my env. var. JENKINS_HOME has been pointing to a directory JENKINS_HOME_005 so far
- I created a fresh copy of JENKINS_HOME_005 by the name of JENKINS_HOME_200
- for the time being JENKINS_HOME will now point to JENKINS_HOME_200
- …/rcjenkins2 start
- https://…/jenkins/descriptor/jenkins.install.UpgradeWizard/upgrade
- … “Installing Plugins/Upgrades” …
- I did not “check” the “automatic restart”
- instead I initiated the restart myself after all the plugins/upgrades had gotten installed
- after the restart I started my favourite job, and everything looks fine with my Jenkins-2.0 installation