See my previous email. I've just clicked the already available buttons in the diff view: "View File" and then "Raw" in the next page opened.

On Thu, Mar 21, 2019 at 5:32 PM Max Leske <maxleske@gmail.com> wrote:
Hi Eliot,


On 21 Mar 2019, at 21:00, Eliot Miranda wrote:

> Hi GitHub mavens,
>
>�� �� �� how does one download a specific patched file from GitHub?�� I
> want to
> test Pablo's fix here:
>
> https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/381
> platforms/iOS/vm/OSX/sqSqueakOSXOpenGLView.m
> <https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/381/files#diff-0>
>
> I don't want to go through "View File", or clone, or anything else.�� I
> just
> want the file itself.�� How do I get it?

You'll have to know the commit hash, then you can grap it by path:
https://raw.githubusercontent.com/OpenSmalltalk/opensmalltalk-vm/1a09bae4372b02d06411922f0e396b49ceaf31f2/platforms/iOS/vm/OSX/sqSqueakOSXOpenGLView.m

AFAIK, there's no direct way to get to the file directly from the diff
view.

Max

>
> _,,,^..^,,,_
> best, Eliot