My bad - I misunderstood - I somehow thought that the problems that Simon
was experiencing were somehow gated on Abbot.


On Thu, Jun 13, 2013 at 8:47 AM, Gershom B <[email protected]> wrote:

> Can you elaborate on "getting abbot unstuck"? Our current logjam, which
> I'm going to try to work on (and Ganesh will indeed chip in soon to solve
> the two immediate outstanding requests) appears to be on community and
> lambda. Given that abbot is still at galois, my impression is that it is
> the "least" stuck of the servers?
>
> I could be quite wrong on all this -- so clarification would be very
> useful.
>
>  --Gershom
>
>
> On Thu, Jun 13, 2013 at 11:41 AM, Mark Lentczner <[email protected]
> > wrote:
>
>> Uhm - I'd suggest that we get out of the logjam first: Just move abbot to
>> a new machine at Hetzner. In the future we can decide to VM'up all our
>> servers and run them on one physical.... but let's not make getting abbot
>> unstuck predicated on all that work.
>>
>> _ Mark
>>
>>
>> On Thu, Jun 13, 2013 at 8:22 AM, Gershom B <[email protected]> wrote:
>>
>>> To make sure I'm understanding everything explicitly, when we say
>>> "consolidate" everything, that means concretely the following?
>>>
>>> We currently have services running on abbot, lambda, and community.
>>> Community is already a vm on lambda, I think? Abbot lives at galois. Lambda
>>> lives on a Hetzner box (that .org funds pay for? other funds?)
>>>
>>> Now the proposal is to get a better Hetzner box that .org funds pay for,
>>> on which will live three vms -- lambda, abbot and community.
>>>
>>> Is this correct?
>>>
>>> Thanks,
>>> Gershom
>>>
>>>
>>> On Wed, Jun 12, 2013 at 1:00 PM, Jason Dagit <[email protected]> wrote:
>>>
>>>> Ian,
>>>>
>>>> I think the next step is for me to ask the SPI treasurer how setup the
>>>> subscription using the haskell.org account. I'll fire off an email now
>>>> to get the process started.
>>>>
>>>> Thanks for working on this!
>>>>
>>>> Jason
>>>>
>>>> On Jun 12, 2013, at 8:56 AM, Ian Lynagh <[email protected]> wrote:
>>>>
>>>> >
>>>> > Hi all,
>>>> >
>>>> > Now that Debian 7.0 has been released, I don't think there is anything
>>>> > holding back our hardware/OS upgrade plans. The consensus from the
>>>> last
>>>> > discussion, as I understand it, is to consolidate everything onto (VMs
>>>> > on) a Hetzner EX 4S
>>>> >    http://www.hetzner.de/en/hosting/produkte_rootserver/ex4s
>>>> >
>>>> > In total we'd want (with prices in EUR, including VAT @ 19%):
>>>> >
>>>> >                    Setup cost      Monthly cost
>>>> >
>>>> >    EX 4S           59.00           59.00
>>>> >    IPv4 /29         0.00            8.00
>>>> >    500GB backup     9.90            9.90
>>>> >
>>>> >    Total:          68.90           76.90
>>>> >
>>>> > Does that match everyone else's understanding? If so, committee,
>>>> what's
>>>> > the next step?
>>>> >
>>>> > Also, MSRC have kindly offered to let me spend some time on the
>>>> initial
>>>> > setup, so please let me know if you'd like to take us up on that.
>>>> >
>>>> >
>>>> > Thanks
>>>> > Ian
>>>> >
>>>> > _______________________________________________
>>>> > haskell-infrastructure mailing list
>>>> > [email protected]
>>>> > http://community.galois.com/mailman/listinfo/haskell-infrastructure
>>>>
>>>>
>>>> _______________________________________________
>>>> haskell-infrastructure mailing list
>>>> [email protected]
>>>> http://community.galois.com/mailman/listinfo/haskell-infrastructure
>>>>
>>>>
>>>
>>> _______________________________________________
>>> haskell-infrastructure mailing list
>>> [email protected]
>>> http://community.galois.com/mailman/listinfo/haskell-infrastructure
>>>
>>>
>>
>
_______________________________________________
haskell-infrastructure mailing list
[email protected]
http://community.galois.com/mailman/listinfo/haskell-infrastructure

Reply via email to