proxy settings in config file does not work

[Cyrille Duret]

Hello,

I try to compile my ceylon project behind a corporate proxy and the ceylon module manager failed at reading my proxy settings.

I use ceylon 1.3.3

I have put proxy settings in my config file as following :

[proxy]

host=xxx

port=xxx

user=xxx

password=xxx

But the command :

$ ceylon --config=.ceylon/config compile

failed at downloading my maven dependencies

Am I missing something ?

thanks a lot

Cyrille