Re: [update] editors/micro

2023-10-01 Thread Omar Polo
On 2023/10/01 19:39:31 +0200, Peter Hessler wrote: > On 2023 Oct 01 (Sun) at 19:15:51 +0200 (+0200), Omar Polo wrote: > :On 2023/10/01 05:29:26 -0600, j...@wxcvbn.org wrote: > :> http://build-failures.rhaalovely.net/riscv64/2023-09-18/editors/micro.log > > I noticed that editors/micro has an upda

[update] editors/micro

2023-10-01 Thread Peter Hessler
On 2023 Oct 01 (Sun) at 19:15:51 +0200 (+0200), Omar Polo wrote: :On 2023/10/01 05:29:26 -0600, j...@wxcvbn.org wrote: :> http://build-failures.rhaalovely.net/riscv64/2023-09-18/editors/micro.log I noticed that editors/micro has an update available, which lets it build and run on arm64. jca, you

update editors/micro to 2.0.11

2022-08-17 Thread Omar Polo
please find attached a diff to update for editors/micro to the latest release. I've moved MODGO_MODULES to a separate modules.inc file as done in many other go ports. No clue if this is still broken on aarch64 :/ seems to work fine here, ok? Index: Makefile =

update editors/micro to v2.0.10

2022-03-16 Thread Sebastien Marie
Hi, The following diff updates editors/micro to v2.0.10. It moves MODGO_MODULES stuff inside modules.inc file. I also needed to patch zyedidia/pty (which is a fork of creack/pty) to includes proper a fixed openbsd support (creack fixed it, but zyedidia is behind). So I forked zyedidia/pty, and m