Re: Docker image for ATS2-0.3.9

2018-03-07 Thread gmhwxi 

You can find the Dockerfile at:

https://github.com/githwxi/Docker-ATS-Positiats

On Wednesday, March 7, 2018 at 2:13:41 PM UTC-5, Brandon Barker wrote:
>
> Hi Hongwei,
>
> If you used a Dockerfile for this, could you link it on the dockerhub 
> page? 
>
> Thanks,
>
> On Friday, January 19, 2018 at 12:00:51 PM UTC-5, gmhwxi wrote:
>>
>> FYI.
>>
>> Docker image for ATS2-0.3.9:
>>
>> http://www.ats-lang.org/Resources.html
>> https://hub.docker.com/r/dockerhwxi/ats2/
>>
>> --Hongwei
>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/d1adb6f4-3c68-44af-abd4-d6128c3d987e%40googlegroups.com.

Re: Docker image for ATS2-0.3.9

2018-03-07 Thread Brandon Barker 
Hi Hongwei,

If you used a Dockerfile for this, could you link it on the dockerhub page? 

Thanks,

On Friday, January 19, 2018 at 12:00:51 PM UTC-5, gmhwxi wrote:
>
> FYI.
>
> Docker image for ATS2-0.3.9:
>
> http://www.ats-lang.org/Resources.html
> https://hub.docker.com/r/dockerhwxi/ats2/
>
> --Hongwei
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/fc50a400-62e4-4a42-894c-181d1f6163a5%40googlegroups.com.