[vmchecker-request] Documentatie configurare masina virtuala vmchecker

[Razvan Deaconescu]

Razvan Deaconescu <razvan.deaconescu at cs.pub.ro> writes:
> Sergiu Weisz <sergiu121 at gmail.com> writes:
>> On 19.03.2017 23:11, Razvan Deaconescu wrote:
>>> Sergiu Weisz <sergiu121 at gmail.com> writes:
>>>> On 09.03.2017 00:32, Sergiu Weisz wrote:
>>>>> On 03/02/2017 10:07 PM, Razvan Deaconescu wrote:
>>>>>> Sergiu Weisz <sergiu121 at gmail.com> writes:
>>>>>>> Salut,
>>>>>>>
>>>>>>> Exista vreo documentatie care sa ma ajute sa configurez masina
>>>>>>> virtuala pentru a o pune pe platforma pentru testarea temelor la PP pe
>>>>>>> vmchecker ?
>>>>>>
>>>>>> Documentația de vmchecker e aici[1]. De configurarea mașinii virtuale ne
>>>>>> ocupăm noi. Ce anume ai nevoie? Ce ai până în momentul de față?
>>>>>
>>>>> Ai uitat sa pui link-ul documentatiei.
>>>
>>> https://github.com/rosedu/vmchecker/blob/master/README.rst
>>> https://github.com/rosedu/vmchecker/wiki
>>>
>>>>> Pana in momentul de fata am o masina virtuala vmware (Ubuntu 16.10) cu ant, haskell, java si swi-prolog pe ea.
>>>>>
>>>>> Imi cer scuze de intarziere, au mai intervenit niste lucruri.
>>>
>>>> Aici [1] e link-ul catre masina
>>>>
>>>> [1] https://www.dropbox.com/s/j1ummy6cpc1nme9/Ubuntu%2064-bit.tar.gz?dl=0
>>>
>>> Ai făcut vreun config până acum? Că văd că în contul pp at elf.cs.pub.ro nu
>>> există director de tip storer pentru vmechecker pentru anul 2017.
>>>
>>> E vorba de pp at elf.cs.pub.ro, nu de pp-cb at elf.cs.pub.ro, da?
>>
>> Nu am facut niciun config pana acum.
>>
>> Este vorba de pp-cb.
>
> Fac eu acum configurația. Să trimiți, te rugăm, astfel de e-mail-uri la
> adresa vmchecker-request at cursuri.cs.pub.ro.
>
> Revin când e totul gata.

Înainte de toate, însă, să clarificăm ceva.

Există în contul pp at elf.cs.pub.ro (nu pp-cb) configurația de anul
trecut. Și există și mașina virtuală de anul trecut. Nu văd de ce aș
configura una nouă (ocupă resurse) dacă cea veche e suficientă și pentru
pp-cb.

Configurația din 2016 nu este suficientă, mașina virtuală nu mai are
configurația care trebuie? Cu cine din echipă ai discutat despre asta,
ca să nu duplicați efortul? Mi se pare că există un risc de reinventare
a roții.

Există o comunicare între echipele de PP sau fiecare este cu
configurația sa?

În contul pp-cb at elf.cs.pub.ro are acces doar Lucian Mogoșanu, tu nu ai
acces. Vrei acces acolo? Care a fost lanțul decizional pentru această
acțiune?

Răzvan