On 11/30/2012 03:22 AM, Mojca Miklavec wrote:
Dear ConTeXters,
we will point the distribution to the new server later today (for a
moment without any significant changes). Before we do that I would
like to ask some of you to try out
./first-install.sh --server=distribution.contextgarden.net
On 12/1/2012 11:06 AM, Thomas A. Schmitz wrote:
On 11/30/2012 03:22 AM, Mojca Miklavec wrote:
Dear ConTeXters,
we will point the distribution to the new server later today (for a
moment without any significant changes). Before we do that I would
like to ask some of you to try out
On Sat, Dec 1, 2012 at 11:06 AM, Thomas A. Schmitz wrote:
Hi Mojca,
I just checked the new server. There appear to be no obvious errors,
everything works. Just a few small observations:
1. ./first-install.sh --server=distribution.contextgarden.net: I assume you
meant ./first-setup.sh,
On Fri, Nov 30, 2012 at 3:22 AM, Mojca Miklavec
mojca.miklavec.li...@gmail.com wrote:
Dear ConTeXters,
we will point the distribution to the new server later today (for a
moment without any significant changes). Before we do that I would
like to ask some of you to try out
Dear ConTeXters,
we will point the distribution to the new server later today (for a
moment without any significant changes). Before we do that I would
like to ask some of you to try out
./first-install.sh --server=distribution.contextgarden.net
to make sure that I didn't do any obvious
