Updating the website

Ian_Denhardt · December 29, 2013, 2:02am

Hey all,

The ATS website is undermaintained. It’s generally confusing to
navigate, and some parts of it point to out of date resources or
information.

I feel like we should do something to make it easier for the community
to help out with this, and issues like it. How would it be if I threw up
a git repo somewhere, with something initially resembling the current
website, and invited people to work on it? Would people get involved?
Hongwei, would you be open to pulling website changes from the rest of
us?

Also - the current website mentiones at the bottom that it’s made with
ATS. I assume this includes at least the syntax hilighting. Are those
tools available somewhere?

-Ian

Ian_Denhardt · December 29, 2013, 9:50pm

Here’s the source to the two pages I’ve added thus far:

https://raw.github.com/zenhack/ats-website/master/index.md
https://raw.github.com/zenhack/ats-website/master/community/index.md

The format is github flavored markdown, which is described here:

https://help.github.com/articles/github-flavored-markdown

The bit at the top, which looks like:

layout: default

Sets jekyll specific options. layout: default tells jekyll to use this
template when generating the page:

github.com

zenhack/ats-website/blob/master/_layouts/default.html

<!DOCTYPE html>
<html>
    <head>
      <meta charset="utf-8">
      <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
      <title>{{ page.title }}</title>
      <meta name="viewport" content="width=device-width">
      <link rel="stylesheet" href="/css/main.css">
    </head>
    <body>
      <div class="site">
        <h1 class="title"><a href="/">{{ site.name }}</a></h1>
        {{ content }}
        <hr />
        <nav>
          <a href="{{site.url}}/">home</a>
          <a href="{{site.url}}/community/">community</a>
        </nav>
      </div>
    </body>

This file has been truncated. show original

Jekyll itself has a good amount of documentation, which is available
here:

-Ian

Quoting gmhwxi (2013-12-29 16:14:32)

Ian_Denhardt · December 29, 2013, 8:21pm

Not much there yet. Copying over content is my first prority, but I’d
also like to clean things up as we go. Contributions more than welcome.

Questions:

The existing website still references the sourceforge mailing list.
Should we really have both that and the google group? I had a look,
and it appears that Hongwei has been posting announcements to both
lists. I think it’s not such a great idea to fragment the community
this way. There isn’t a clear distinction in the usage of these
mailing lists; we should all just be using the same one.
Hongwei, are there any scripts/source files you used in generating the
current website? Anything we can repurpose to make moving things over
faster would be appreciated.

Quoting Ian Denhardt (2013-12-29 00:01:58)

Ian_Denhardt · December 29, 2013, 5:01am

Will do. I’ll post back here when I’ve got something to show.

-Ian

Quoting gmhwxi (2013-12-28 22:42:32)

gmhwxi · December 29, 2013, 8:40pm

I agree that we should avoid using two mailing-lists.

I think we should just use the goolge-group ats-lang-users for discussion.

Occasionally, I may send a message to the sourceforge mailing-list to
announce something relatively significant (e.g., release of a new version
of ATS2).On Sunday, December 29, 2013 3:21:10 PM UTC-5, Ian Denhardt wrote:

GitHub - zenhack/ats-website: Refactoring ats-lang.org

Not much there yet. Copying over content is my first prority, but I’d
also like to clean things up as we go. Contributions more than welcome.

Questions:

The existing website still references the sourceforge mailing list.
Should we really have both that and the google group? I had a look,
and it appears that Hongwei has been posting announcements to both
lists. I think it’s not such a great idea to fragment the community
this way. There isn’t a clear distinction in the usage of these
mailing lists; we should all just be using the same one.

Hongwei, are there any scripts/source files you used in generating the
current website? Anything we can repurpose to make moving things over
faster would be appreciated.

Quoting Ian Denhardt (2013-12-29 00:01:58)
Will do. I’ll post back here when I’ve got something to show.

-Ian

Quoting gmhwxi (2013-12-28 22:42:32)
If you could get it started, that would be a great help.
Yes, I will be happy to pull the changes.
On Saturday, December 28, 2013 9:02:45 PM UTC-5, Ian Denhardt wrote:
 Hey all, 
 The ATS website is undermaintained. It's generally confusing to 
 navigate, and some parts of it point to out of date resources or 
 information. 
 I feel like we should do something to make it easier for the 
 community 
 to help out with this, and issues like it. How would it be if I 
 threw up 
 a git repo somewhere, with something initially resembling the 
 current 
 website, and invited people to work on it? Would people get 
 involved? 
 Hongwei, would you be open to pulling website changes from the 
rest
 of 
 us? 
 Also - the current website mentiones at the bottom that it's made 
 with 
 ATS. I assume this includes at least the syntax hilighting. Are 
 those 
 tools available somewhere? 
 -Ian 
–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com<javascript:>.
To view this discussion on the web visit
[1]
https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-
98c1-41fbe037b79f%40googlegroups.com.

References

https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com

–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com<javascript:>.

To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad.

gmhwxi · December 30, 2013, 7:19pm

For now, I think that the easiest way is to copy/paste/edit the original
pages, turning them into the markdown format.On Sunday, December 29, 2013 4:50:25 PM UTC-5, Ian Denhardt wrote:

Here’s the source to the two pages I’ve added thus far:

https://raw.github.com/zenhack/ats-website/master/index.md
https://raw.github.com/zenhack/ats-website/master/community/index.md

The format is github flavored markdown, which is described here:

Writing on GitHub - GitHub Docs

The bit at the top, which looks like:

layout: default

Sets jekyll specific options. layout: default tells jekyll to use this
template when generating the page:

{{ page.title }}

Jekyll itself has a good amount of documentation, which is available
here:

Redirecting…

-Ian

Quoting gmhwxi (2013-12-29 16:14:32)

The source for the current ATS website is in the following directory:

https://sourceforge.net/p/ats-lang/code/HEAD/tree/trunk/utils/atsdoc/DO
CUMENT/atslangweb/
The .atxt files are processed by atsdoc, a command I wrote
essentially
for my own use. If you
show me what a jekyll file for atslangweb_community looks like, I may
be able to modify the .atxt
files to generate it automatically.
On Sunday, December 29, 2013 3:21:10 PM UTC-5, Ian Denhardt wrote:
 [1]https://github.com/zenhack/ats-website 
 Not much there yet. Copying over content is my first prority, but 
 I'd 
 also like to clean things up as we go. Contributions more than 
 welcome. 
 Questions: 
 - The existing website still references the sourceforge mailing 
 list. 
   Should we really have both that and the google group? I had a 
 look, 
   and it appears that Hongwei has been posting announcements to 
both
   lists. I think it's not such a great idea to fragment the 
 community 
   this way. There isn't a clear distinction in the usage of these 
   mailing lists; we should all just be using the same one. 
 - Hongwei, are there any scripts/source files you used in 
generating
 the 
   current website? Anything we can repurpose to make moving things 
 over 
   faster would be appreciated. 
 Quoting Ian Denhardt (2013-12-29 00:01:58) 
 > Will do. I'll post back here when I've got something to show. 
 > 
 > -Ian 
 > 
 > Quoting gmhwxi (2013-12-28 22:42:32) 
 > > If you could get it started, that would be a great help. 
 > >    Yes, I will be happy to pull the changes. 
 > >    On Saturday, December 28, 2013 9:02:45 PM UTC-5, Ian  Denhardt  wrote: 
 > > 
 > >      Hey all, 
 > >      The ATS website is undermaintained. It's generally 
 confusing to 
 > >      navigate, and some parts of it point to out of date 
 resources or 
 > >      information. 
 > >      I feel like we should do something to make it easier for 
 the 
 > >      community 
 > >      to help out with this, and issues like it. How would it be 
 if I 
 > >      threw up 
 > >      a git repo somewhere, with something initially resembling 
 the 
 > >      current 
 > >      website, and invited people to work on it? Would people 
get
 > >      involved? 
 > >      Hongwei, would you be open to pulling website changes from 
 the rest 
 > >      of 
 > >      us? 
 > >      Also - the current website mentiones at the bottom that 
 it's made 
 > >      with 
 > >      ATS. I assume this includes at least the syntax 
hilighting.
 Are 
 > >      those 
 > >      tools available somewhere? 
 > >      -Ian 
 > > 
 > >    -- 
 > >    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 [2]ats-lang...@googlegroups.com. 
 > >    To post to this group, send email to 
 [3]ats-l...@googlegroups.com. 
 > >    To view this discussion on the web visit 
 > >    [1][4]https://groups.google.com/d/msgid/ats-lang-users/ 
 d4958ff0-2683-4068- 
 > >    98c1-41fbe037b79f%[5]40googlegroups.com. 
 > > 
 > > References 
 > > 
 > >    1. [6]https://groups.google.com/d/ 
 msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f% 
 40googlegroups.com 
 > 
 > -- 
 > 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 [7]ats-lang...@googlegroups.com. 
 > To post to this group, send email to [8]ats-lan...@googlegroups. 
 com. 
 > To view this discussion on the web visit 
 [9]https://groups.google.com/d/msgid/ats-lang-users/ 
 20131229050158.25547.16681%40nomad. 
–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com<javascript:>.
To view this discussion on the web visit
[10]
https://groups.google.com/d/msgid/ats-lang-users/c77208a7-f4c0-4354
-a301-d1d970654e7d%40googlegroups.com.

References

GitHub - zenhack/ats-website: Refactoring ats-lang.org

javascript:/

javascript:/

https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-

http://40googlegroups.com/

https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com

javascript:/

javascript:/

https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad

https://groups.google.com/d/msgid/ats-lang-users/c77208a7-f4c0-4354-a301-d1d970654e7d%40googlegroups.com

gmhwxi · December 29, 2013, 9:14pm

The source for the current ATS website is in the following directory:

https://sourceforge.net/p/ats-lang/code/HEAD/tree/trunk/utils/atsdoc/DOCUMENT/atslangweb/

The .atxt files are processed by atsdoc, a command I wrote essentially for
my own use. If you
show me what a jekyll file for atslangweb_community looks like, I may be
able to modify the .atxt
files to generate it automatically.On Sunday, December 29, 2013 3:21:10 PM UTC-5, Ian Denhardt wrote:

GitHub - zenhack/ats-website: Refactoring ats-lang.org

Not much there yet. Copying over content is my first prority, but I’d
also like to clean things up as we go. Contributions more than welcome.

Questions:

The existing website still references the sourceforge mailing list.
Should we really have both that and the google group? I had a look,
and it appears that Hongwei has been posting announcements to both
lists. I think it’s not such a great idea to fragment the community
this way. There isn’t a clear distinction in the usage of these
mailing lists; we should all just be using the same one.

Hongwei, are there any scripts/source files you used in generating the
current website? Anything we can repurpose to make moving things over
faster would be appreciated.

Quoting Ian Denhardt (2013-12-29 00:01:58)
Will do. I’ll post back here when I’ve got something to show.

-Ian

Quoting gmhwxi (2013-12-28 22:42:32)
If you could get it started, that would be a great help.
Yes, I will be happy to pull the changes.
On Saturday, December 28, 2013 9:02:45 PM UTC-5, Ian Denhardt wrote:
 Hey all, 
 The ATS website is undermaintained. It's generally confusing to 
 navigate, and some parts of it point to out of date resources or 
 information. 
 I feel like we should do something to make it easier for the 
 community 
 to help out with this, and issues like it. How would it be if I 
 threw up 
 a git repo somewhere, with something initially resembling the 
 current 
 website, and invited people to work on it? Would people get 
 involved? 
 Hongwei, would you be open to pulling website changes from the 
rest
 of 
 us? 
 Also - the current website mentiones at the bottom that it's made 
 with 
 ATS. I assume this includes at least the syntax hilighting. Are 
 those 
 tools available somewhere? 
 -Ian 
–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com<javascript:>.
To view this discussion on the web visit
[1]
https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-
98c1-41fbe037b79f%40googlegroups.com.

References

https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com

–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com<javascript:>.

To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad.

gmhwxi · December 29, 2013, 3:42am

If you could get it started, that would be a great help.

Yes, I will be happy to pull the changes.On Saturday, December 28, 2013 9:02:45 PM UTC-5, Ian Denhardt wrote:

Hey all,

The ATS website is undermaintained. It’s generally confusing to
navigate, and some parts of it point to out of date resources or
information.

I feel like we should do something to make it easier for the community
to help out with this, and issues like it. How would it be if I threw up
a git repo somewhere, with something initially resembling the current
website, and invited people to work on it? Would people get involved?
Hongwei, would you be open to pulling website changes from the rest of
us?

Also - the current website mentiones at the bottom that it’s made with
ATS. I assume this includes at least the syntax hilighting. Are those
tools available somewhere?

-Ian

Topic		Replies	Views
Please PRETTY PLEASE ditch sourceforge Google Group	5	693	May 6, 2016
How about use github pages to host ATS Documentation? Google Group	3	382	July 24, 2015
ATS news update Google Group	0	259	December 3, 2014
Contributing Google Group	2	326	May 13, 2014
A New Website for ATS Google Group	7	468	October 18, 2014

Updating the website

layout: default

Related topics