[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Development suggestions from an ENSIME developer
From: |
Stefan Monnier |
Subject: |
Re: Development suggestions from an ENSIME developer |
Date: |
Thu, 21 Jul 2016 16:22:34 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) |
> Expect it to be adopted if it makes our jobs simpler, like faster, or
> saves us from doing some of the stuff at all. Otherwise, you will
> have difficulty convincing at least me to move.
> Also, I think the solution should support text-mode browsers, such as
> Lynx or Emacs's eww on TTY frames. IOW, anything that requires GUI
> and won't work otherwise is probably out of question to begin with.
> (This requirement is not for me personally.)
Hopefully a pull-request can appear as a Git branch, so the maintainer
who can't or doesn't want to use a browser can use "git diff/merge" and
such to view and accept a pull-request.
To review/comment on a pull-request, you'll need something else, and
typically this is a web UI. Most/all of those are pretty much unusable in
something like eww/lynx. But there's a good chance someone can code up
an ad-hoc Emacs interface to the system (something like sx.el).
Stefan
- Re: Development suggestions from an ENSIME developer, (continued)
Re: Development suggestions from an ENSIME developer, Christian Kruse, 2016/07/20
Re: Development suggestions from an ENSIME developer, Stefan Monnier, 2016/07/20
- Re: Development suggestions from an ENSIME developer, Phillip Lord, 2016/07/21
- Re: Development suggestions from an ENSIME developer, Phillip Lord, 2016/07/21
- Re: Development suggestions from an ENSIME developer, joakim, 2016/07/21
- Re: Development suggestions from an ENSIME developer, Eli Zaretskii, 2016/07/22
- Re: Development suggestions from an ENSIME developer, Lars Ingebrigtsen, 2016/07/22
- Re: Development suggestions from an ENSIME developer, Lars Ingebrigtsen, 2016/07/22
- Re: Development suggestions from an ENSIME developer, Robert Weiner, 2016/07/22
- Re: Development suggestions from an ENSIME developer, Eli Zaretskii, 2016/07/22
- Re: Development suggestions from an ENSIME developer, Robert Weiner, 2016/07/22