[Stellarium-pubdevel] how change the permission

2018-01-29 Thread Jose Ignacio Ruiz de Alegria Igartua
Hi I am running the windows OS. I want to edit the file /stellarium/data/default_config.ini I only get the message that I am not allow to edit it I want to change the color and the size of the boundary of the constellation see below: default_config.ini const_boundary_color = 0.3,0.1,0

[Stellarium-pubdevel] DNS buildbot.stellarium.org A-record request

2018-01-29 Thread Hans
Hi Fabien, Can you create an A-record for the builbot master : buildbot IN A 91.224.149.129 in the stellarium.org zone at Gandi ? The buildbot master may have to move to another server and this way we only have to change this single DNS entry instead of the config of tens of buildbot slav