Generics and java versions

Phil Norman

unread,

Jul 26, 2016, 5:28:51 PM7/26/16

to evergre...@googlegroups.com

Heya.

Long time no write. Hope everyone's doing well :-)

I'm doing a bit of work in go these days, so I started writing a styler. Go doesn't have multi-line comments (which is nice), but it does have multi-line strings. I'm attaching a patch (or at least a git diff - I don't use git much, so if anyone can suggest a better way of generating patches please shout).

I don't know if I still have access to submit stuff myself; I think in fact that jessies has moved several times since I last did so. Please let me know what to do if I should. Otherwise, feel free to submit the patch if it seems sane enough.

Cheers,

Phil

go-styler.patch

Martin Dorey

unread,

Jul 29, 2016, 11:33:47 PM7/29/16

to evergre...@googlegroups.com

Sorry for the lag. I still haven't found time to try your patch, or even look at it on a sensible screen but, having investigated both /Phil.*Norm/i possibilities on github and finding neither of them especially plausible, I sent you a invite to join the sinister software.jessies.org github organisation. I forget how it works now, but probably agree to an account, upload public ssh key, git clone with ssh, apply patch, checkintool (ideally from a post-github migration build), then git push. A bit of a palaver then but it's obviously much easier the second and subsequent times.

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-use...@googlegroups.com.
To post to this group, send email to evergre...@googlegroups.com.
Visit this group at https://groups.google.com/group/evergreen-users.
For more options, visit https://groups.google.com/d/optout.

Phil Norman

unread,

Feb 28, 2017, 3:40:07 PM2/28/17

to evergre...@googlegroups.com

Hi.

Finally got around to it. Sorry it took so damned long. Anyway, I've sorted out my ssh keys, and have done this:

git remote set-url origin g...@github.com:software-jessies-org/jessies.git

That seems to make pulls work, but with ssh. When I try to push, I get an error:

$ git push
ERROR: Permission to software-jessies-org/jessies.git denied to philjessies.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

Should I make a branch, and put stuff there?

Thanks,

Phil

On 30 July 2016 at 05:33, Martin Dorey <marti...@gmail.com> wrote:

Sorry for the lag. I still haven't found time to try your patch, or even look at it on a sensible screen but, having investigated both /Phil.*Norm/i possibilities on github and finding neither of them especially plausible, I sent you a invite to join the sinister software.jessies.org github organisation. I forget how it works now, but probably agree to an account, upload public ssh key, git clone with ssh, apply patch, checkintool (ideally from a post-github migration build), then git push. A bit of a palaver then but it's obviously much easier the second and subsequent times.

On Tuesday, 26 July 2016, Phil Norman <phil...@gmail.com> wrote:

Heya.

Long time no write. Hope everyone's doing well :-)

I'm doing a bit of work in go these days, so I started writing a styler. Go doesn't have multi-line comments (which is nice), but it does have multi-line strings. I'm attaching a patch (or at least a git diff - I don't use git much, so if anyone can suggest a better way of generating patches please shout).

I don't know if I still have access to submit stuff myself; I think in fact that jessies has moved several times since I last did so. Please let me know what to do if I should. Otherwise, feel free to submit the patch if it seems sane enough.

Cheers,
Phil

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-users+unsubscribe@googlegroups.com.
To post to this group, send email to evergreen-users@googlegroups.com.

Visit this group at https://groups.google.com/group/evergreen-users.
For more options, visit https://groups.google.com/d/optout.

--

You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-users+unsubscribe@googlegroups.com.
To post to this group, send email to evergreen-users@googlegroups.com.

Martin Dorey

unread,

Feb 28, 2017, 10:55:32 PM2/28/17

to evergre...@googlegroups.com

Nothing to apologise for. I think I've worked out how to send a write invite to philjessies. If anyone else wants, now'd be the ideal time, while I can still find the setting.

On Tue, Feb 28, 2017 at 12:40 Phil Norman <phil...@gmail.com> wrote:

Hi.

Finally got around to it. Sorry it took so damned long. Anyway, I've sorted out my ssh keys, and have done this:

git remote set-url origin g...@github.com:software-jessies-org/jessies.git

That seems to make pulls work, but with ssh. When I try to push, I get an error:

$ git push
ERROR: Permission to software-jessies-org/jessies.git denied to philjessies.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

Should I make a branch, and put stuff there?

Thanks,
Phil

On 30 July 2016 at 05:33, Martin Dorey <marti...@gmail.com> wrote:

Sorry for the lag. I still haven't found time to try your patch, or even look at it on a sensible screen but, having investigated both /Phil.*Norm/i possibilities on github and finding neither of them especially plausible, I sent you a invite to join the sinister software.jessies.org github organisation. I forget how it works now, but probably agree to an account, upload public ssh key, git clone with ssh, apply patch, checkintool (ideally from a post-github migration build), then git push. A bit of a palaver then but it's obviously much easier the second and subsequent times.

On Tuesday, 26 July 2016, Phil Norman <phil...@gmail.com> wrote:

Heya.

Long time no write. Hope everyone's doing well :-)

I'm doing a bit of work in go these days, so I started writing a styler. Go doesn't have multi-line comments (which is nice), but it does have multi-line strings. I'm attaching a patch (or at least a git diff - I don't use git much, so if anyone can suggest a better way of generating patches please shout).

I don't know if I still have access to submit stuff myself; I think in fact that jessies has moved several times since I last did so. Please let me know what to do if I should. Otherwise, feel free to submit the patch if it seems sane enough.

Cheers,
Phil

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-use...@googlegroups.com.
To post to this group, send email to evergre...@googlegroups.com.

Visit this group at https://groups.google.com/group/evergreen-users.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-use...@googlegroups.com.
To post to this group, send email to evergre...@googlegroups.com.

Visit this group at https://groups.google.com/group/evergreen-users.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-use...@googlegroups.com.
To post to this group, send email to evergre...@googlegroups.com.

Phil Norman

unread,

Mar 1, 2017, 1:58:44 AM3/1/17

to evergre...@googlegroups.com

It worked! Thanks a lot :-)

In addition to the go syntax highlighter I wrote way back when, last night I wrote an auto-indenter, which seems to at least get the left-hand indentation correct in all cases I've seen so far. It doesn't quite replicate gofmt, but that wasn't the aim.

Cheers,

Phil

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-users+unsubscribe@googlegroups.com.
To post to this group, send email to evergreen-users@googlegroups.com.

Visit this group at https://groups.google.com/group/evergreen-users.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-users+unsubscribe@googlegroups.com.
To post to this group, send email to evergreen-users@googlegroups.com.

Visit this group at https://groups.google.com/group/evergreen-users.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-users+unsubscribe@googlegroups.com.
To post to this group, send email to evergreen-users@googlegroups.com.

Visit this group at https://groups.google.com/group/evergreen-users.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "evergreen-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to evergreen-users+unsubscribe@googlegroups.com.
To post to this group, send email to evergreen-users@googlegroups.com.

Reply all

Reply to author

Forward