VS Code has yet another LSP :-)

76 views
Skip to first unread message

Liberty Lover

unread,
Dec 12, 2025, 6:13:53 AM12/12/25
to Eiffel Users
vs-code-has-simple-eiffel-vsix.png

Liberty Lover

unread,
Dec 12, 2025, 6:16:39 AM12/12/25
to eiffel...@googlegroups.com
Ony Windows is supported at the moment. I will have to handle the cross-platforming issues soon for you Linux buffs.

Cheers,

Larry

On Fri, Dec 12, 2025 at 6:13 AM Liberty Lover <rix....@gmail.com> wrote:
vs-code-has-simple-eiffel-vsix.png

--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/b56da639-320a-4b7a-974e-e4f4d66abaa4n%40googlegroups.com.

Ian Joyner

unread,
Dec 12, 2025, 7:12:49 AM12/12/25
to eiffel...@googlegroups.com

Liberty Lover

unread,
Dec 12, 2025, 7:42:55 AM12/12/25
to eiffel...@googlegroups.com
I do not own a Mac so I don't think I can facilitate that. Sorry.

Eric Bezault

unread,
Dec 12, 2025, 7:49:56 AM12/12/25
to eiffel...@googlegroups.com, Liberty Lover
Hi Larry,

I don't have access to Linux nor Mac, but I do manage to create
releases for Gobo Eiffel and for VS Code extension on these
platforms:

https://github.com/gobo-eiffel/gobo/releases/tag/gobo-25.12

My secret weapon: Github Actions

https://github.com/gobo-eiffel/gobo/actions/runs/20122337859

--
Eric Bezault
mailto:er...@gobosoft.com
http://www.gobosoft.com


On 12/12/2025 13:42, Liberty Lover wrote:
> I do not own a Mac so I don't think I can facilitate that. Sorry.
>
> On Fri, Dec 12, 2025 at 7:12 AM Ian Joyner <joyne...@gmail.com
> <mailto:joyne...@gmail.com>> wrote:
>
> What about Apple platforms?
>
>> On 12 Dec 2025, at 22:16, Liberty Lover <rix....@gmail.com
>> <mailto:rix....@gmail.com>> wrote:
>>
>> Ony Windows is supported at the moment. I will have to handle the
>> cross-platforming issues soon for you Linux buffs.
>>
>> Cheers,
>>
>> Larry
>>
>> On Fri, Dec 12, 2025 at 6:13 AM Liberty Lover <rix....@gmail.com
>> <mailto:rix....@gmail.com>> wrote:
>>
>> <vs-code-has-simple-eiffel-vsix.png>
>>
>> --
>> You received this message because you are subscribed to the
>> Google Groups "Eiffel Users" group.
>> To unsubscribe from this group and stop receiving emails from
>> it, send an email to eiffel-users...@googlegroups.com
>> <mailto:eiffel-users...@googlegroups.com>.
>> To view this discussion visit https://groups.google.com/d/
>> msgid/eiffel-users/b56da639-320a-4b7a-974e-
>> e4f4d66abaa4n%40googlegroups.com <https://groups.google.com/d/
>> msgid/eiffel-users/b56da639-320a-4b7a-974e-
>> e4f4d66abaa4n%40googlegroups.com?
>> utm_medium=email&utm_source=footer>.
>>
>>
>> --
>> You received this message because you are subscribed to the Google
>> Groups "Eiffel Users" group.
>> To unsubscribe from this group and stop receiving emails from it,
>> send an email to eiffel-users...@googlegroups.com
>> <mailto:eiffel-users...@googlegroups.com>.
>> To view this discussion visit https://groups.google.com/d/msgid/
>> eiffel-users/
>> CA%2B3qnjcKqivOucwM3VdGT7xcCznf2SfXM_k_ezfxNQ5FQT50VA%40mail.gmail.com <https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjcKqivOucwM3VdGT7xcCznf2SfXM_k_ezfxNQ5FQT50VA%40mail.gmail.com?utm_medium=email&utm_source=footer>.
>
> --
> You received this message because you are subscribed to the Google
> Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it,
> send an email to eiffel-users...@googlegroups.com
> <mailto:eiffel-users...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/
> eiffel-users/FCEA89C6-CA94-4E34-982A-DAE71305C4EE%40gmail.com
> <https://groups.google.com/d/msgid/eiffel-users/FCEA89C6-
> CA94-4E34-982A-DAE71305C4EE%40gmail.com?
> utm_medium=email&utm_source=footer>.
>
> --
> You received this message because you are subscribed to the Google
> Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to eiffel-users...@googlegroups.com <mailto:eiffel-
> users+un...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-
> users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-
> mEo4br2COYuzA%40mail.gmail.com <https://groups.google.com/d/msgid/
> eiffel-users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-
> mEo4br2COYuzA%40mail.gmail.com?utm_medium=email&utm_source=footer>.

Ian Joyner

unread,
Dec 12, 2025, 5:08:26 PM12/12/25
to eiffel...@googlegroups.com
Ignoring Mac as has been the case of Eiffel for a long time means it is difficult for education purposes.

It needs to be simple to set up so it does not send support departments crazy with every student needing help.

Ian

Liberty Lover

unread,
Dec 13, 2025, 6:10:36 AM12/13/25
to eiffel...@googlegroups.com
Hi Ian,

I agree with the education angle for Eiffel and Apple. It's high time. I am going to buy a decent Mac Mini and work to get that job done.

This is what I can afford (below). Good enough? What do you all think?

Apple 2024 Mac mini Desktop Computer with M4 chip with 10‑core CPU and 10‑core GPU: Built for Apple Intelligence, 16GB Unified Memory, 256GB SSD Storage, Gigabit Ethernet. Works with iPhone/iPad


Ulrich Windl

unread,
Dec 13, 2025, 9:45:02 AM12/13/25
to eiffel...@googlegroups.com
The only idea I have is that Eiffel compilation metadata "eat up a lot of disk space". CPU and RAM should be fine. Unfortunately Apple wants your best (your money) for a larger SSD.
How much disk space do your existing Eiffel projects need?

13.12.2025 12:10:23 Liberty Lover <rix....@gmail.com>:

> Hi Ian,
>
> I agree with the education angle for Eiffel and Apple. It's high time. I am going to buy a decent Mac Mini and work to get that job done.
>
> This is what I can afford (below). Good enough? What do you all think?
>
> *Apple 2024 Mac mini Desktop Computer with M4 chip with 10‑core CPU and 10‑core GPU: Built for Apple Intelligence, 16GB Unified Memory, 256GB SSD Storage, Gigabit Ethernet. Works with iPhone/iPad*
>
>
> On Fri, Dec 12, 2025 at 5:08 PM Ian Joyner <joyne...@gmail.com> wrote:
>> Ignoring Mac as has been the case of Eiffel for a long time means it is difficult for education purposes.
>>
>> It needs to be simple to set up so it does not send support departments crazy with every student needing help.
>>
>> Ian
>>
>>> On 12 Dec 2025, at 23:42, Liberty Lover <rix....@gmail.com> wrote:
>>>
>>> I do not own a Mac so I don't think I can facilitate that. Sorry.
>>>
>>> On Fri, Dec 12, 2025 at 7:12 AM Ian Joyner <joyne...@gmail.com> wrote:
>>>> What about Apple platforms?
>>>>
>>>>> On 12 Dec 2025, at 22:16, Liberty Lover <rix....@gmail.com> wrote:
>>>>>
>>>>> Ony Windows is supported at the moment. I will have to handle the cross-platforming issues soon for you Linux buffs.
>>>>>
>>>>> Cheers,
>>>>>
>>>>> Larry
>>>>>
>>>>> On Fri, Dec 12, 2025 at 6:13 AM Liberty Lover <rix....@gmail.com> wrote:
>>>>>> …
>>>>>
>>>>> --
>>>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjcKqivOucwM3VdGT7xcCznf2SfXM_k_ezfxNQ5FQT50VA%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjcKqivOucwM3VdGT7xcCznf2SfXM_k_ezfxNQ5FQT50VA%40mail.gmail.com?utm_medium=email&utm_source=footer].
>>>>
>>>>
>>>> --
>>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/FCEA89C6-CA94-4E34-982A-DAE71305C4EE%40gmail.com[https://groups.google.com/d/msgid/eiffel-users/FCEA89C6-CA94-4E34-982A-DAE71305C4EE%40gmail.com?utm_medium=email&utm_source=footer].
>>>
>>> --
>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-mEo4br2COYuzA%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-mEo4br2COYuzA%40mail.gmail.com?utm_medium=email&utm_source=footer].
>>
>>
>> --
>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/79CB4303-7226-4A77-94AB-4AEE97382C96%40gmail.com[https://groups.google.com/d/msgid/eiffel-users/79CB4303-7226-4A77-94AB-4AEE97382C96%40gmail.com?utm_medium=email&utm_source=footer].
>
> --
> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com?utm_medium=email&utm_source=footer].

Liberty Lover

unread,
Dec 13, 2025, 10:28:22 AM12/13/25
to eiffel...@googlegroups.com
That is a VERY good point (e.g. disk space for the entire simple_* ecosystem).

image.png

256 GB and I ought to buy another external 3-5 TB drive for the Mac so I am not stressing its main SSD.



Chris Tillman

unread,
Dec 14, 2025, 1:13:26 PM12/14/25
to eiffel...@googlegroups.com
Perhaps you missed Eric's hint about Github Actions? You can have Github compile for you on Mac and Linux.



--
Chris Tillman
Developer

Liberty Lover

unread,
Dec 14, 2025, 6:17:10 PM12/14/25
to eiffel...@googlegroups.com
Thank you for the reminder. I didn't miss it. I just haven't given it the attention it most likely deserves in the pipeline. :-) 

Ian Joyner

unread,
Dec 14, 2025, 9:53:07 PM12/14/25
to eiffel...@googlegroups.com
Hi Larry,

Yes the Mac Mini is an excellent option. 16GB should be fine for what you want. I made it 32 GB, but I run so many things at once and Safari takes a lot of memory (I have a lot of tabs open, mainly of things I mean to get back to, but usually don’t!). I got the Mac Mini 2024 10 core M4.

I also got 1TB of SSD. 256GB might be a bit of a squeeze, I think MacOS mostly fills that. Well, perhaps I’m wrong, it is saying System folder is using less than 18GB. But you will need something for Virtual Memory operation. I think I’d get 512GB, but check with your Apple dealer.

I got a Philips 31” 3840x2160 screen for a few $100s. Not as good as Apple options, but about 1/10th the price. But you probably already have screens.

Ian

João Rocha

unread,
Dec 15, 2025, 5:32:21 AM12/15/25
to eiffel...@googlegroups.com
Hi Larry,

It’s not possible to install macOS in a virtual machine?

The Mac mini with the spec you chose plus the external ssd would be a great choice, though. I believe it’s the most bang for the buck you can get.

João

On 13 Dec 2025, at 11:10 AM, Liberty Lover <rix....@gmail.com> wrote:



Liberty Lover

unread,
Dec 15, 2025, 10:45:10 AM12/15/25
to eiffel...@googlegroups.com
Excellent feedback. Thank you, Ian!

Liberty Lover

unread,
Dec 15, 2025, 10:45:41 AM12/15/25
to eiffel...@googlegroups.com
The VM options on a Windows PC for running a Mac are pretty bad.

Liberty Lover

unread,
Dec 15, 2025, 9:05:37 PM12/15/25
to Eiffel Users
I ordered the Mac Mini that I spec'd above. Let's pray that it works. I just need to get it here and also order a 1-3 TB external drive for it.

Ulrich Windl

unread,
Dec 16, 2025, 4:26:25 AM12/16/25
to eiffel...@googlegroups.com
Also: Time is money; you may be able to sell a used Mac when no longer needed, but nobody wants a used Mac VM 😉

15.12.2025 16:45:25 Liberty Lover <rix....@gmail.com>:

> The VM options on a Windows PC for running a Mac are pretty bad.
>
> On Mon, Dec 15, 2025 at 5:32 AM João Rocha <rocha....@gmail.com> wrote:
>> Hi Larry,
>>
>> It’s not possible to install macOS in a virtual machine?
>>
>> The Mac mini with the spec you chose plus the external ssd would be a great choice, though. I believe it’s the most bang for the buck you can get.
>>
>> João
>>
>>> On 13 Dec 2025, at 11:10 AM, Liberty Lover <rix....@gmail.com> wrote:
>>>
>>> 
>>> Hi Ian,
>>>
>>> I agree with the education angle for Eiffel and Apple. It's high time. I am going to buy a decent Mac Mini and work to get that job done.
>>>
>>> This is what I can afford (below). Good enough? What do you all think?
>>>
>>> *Apple 2024 Mac mini Desktop Computer with M4 chip with 10‑core CPU and 10‑core GPU: Built for Apple Intelligence, 16GB Unified Memory, 256GB SSD Storage, Gigabit Ethernet. Works with iPhone/iPad*
>>>
>>>
>>> On Fri, Dec 12, 2025 at 5:08 PM Ian Joyner <joyne...@gmail.com> wrote:
>>>> Ignoring Mac as has been the case of Eiffel for a long time means it is difficult for education purposes.
>>>>
>>>> It needs to be simple to set up so it does not send support departments crazy with every student needing help.
>>>>
>>>> Ian
>>>>
>>>>> On 12 Dec 2025, at 23:42, Liberty Lover <rix....@gmail.com> wrote:
>>>>>
>>>>> I do not own a Mac so I don't think I can facilitate that. Sorry.
>>>>>
>>>>> On Fri, Dec 12, 2025 at 7:12 AM Ian Joyner <joyne...@gmail.com> wrote:
>>>>>> …
>>>>>
>>>>> --
>>>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-mEo4br2COYuzA%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjdPT4U--vzgyWDge%2BUVRqmDH50_FRrd-mEo4br2COYuzA%40mail.gmail.com?utm_medium=email&utm_source=footer].
>>>>
>>>>
>>>> --
>>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/79CB4303-7226-4A77-94AB-4AEE97382C96%40gmail.com[https://groups.google.com/d/msgid/eiffel-users/79CB4303-7226-4A77-94AB-4AEE97382C96%40gmail.com?utm_medium=email&utm_source=footer].
>>>
>>> --
>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com?utm_medium=email&utm_source=footer].
>>
>> --
>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/AC881873-99CB-4608-A917-2AC8932B7378%40gmail.com[https://groups.google.com/d/msgid/eiffel-users/AC881873-99CB-4608-A917-2AC8932B7378%40gmail.com?utm_medium=email&utm_source=footer].
>
> --
> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjdLyX7iJSZuT58bBNCycTZbgzkPJ%2BCBu0-0iu5JPALshg%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnjdLyX7iJSZuT58bBNCycTZbgzkPJ%2BCBu0-0iu5JPALshg%40mail.gmail.com?utm_medium=email&utm_source=footer].

Ulrich Windl

unread,
Dec 16, 2025, 4:30:01 AM12/16/25
to eiffel...@googlegroups.com
Hi!

Recently I had "built" a solution with a 2TB fast SSD in an external USB 3 case for around 100€. If you want details, just tell me. I don't want to look like advertising products here.

Ulrich

16.12.2025 03:05:37 Liberty Lover <rix....@gmail.com>:

> I ordered the Mac Mini that I spec'd above. Let's pray that it works. I just need to get it here and also order a 1-3 TB external drive for it.
>
> On Monday, December 15, 2025 at 10:45:41 AM UTC-5 Liberty Lover wrote:
>> The VM options on a Windows PC for running a Mac are pretty bad.
>>
>> On Mon, Dec 15, 2025 at 5:32 AM João Rocha <rocha....@gmail.com> wrote:
>>> Hi Larry,
>>>
>>> It’s not possible to install macOS in a virtual machine?
>>>
>>> The Mac mini with the spec you chose plus the external ssd would be a great choice, though. I believe it’s the most bang for the buck you can get.
>>>
>>> João
>>>
>>>> On 13 Dec 2025, at 11:10 AM, Liberty Lover <rix....@gmail.com> wrote:
>>>>
>>>> 
>>>> Hi Ian,
>>>>
>>>> I agree with the education angle for Eiffel and Apple. It's high time. I am going to buy a decent Mac Mini and work to get that job done.
>>>>
>>>> This is what I can afford (below). Good enough? What do you all think?
>>>>
>>>> *Apple 2024 Mac mini Desktop Computer with M4 chip with 10‑core CPU and 10‑core GPU: Built for Apple Intelligence, 16GB Unified Memory, 256GB SSD Storage, Gigabit Ethernet. Works with iPhone/iPad*
>>>>
>>>>
>>>> On Fri, Dec 12, 2025 at 5:08 PM Ian Joyner <joyne...@gmail.com> wrote:
>>>>> Ignoring Mac as has been the case of Eiffel for a long time means it is difficult for education purposes.
>>>>>
>>>>> It needs to be simple to set up so it does not send support departments crazy with every student needing help.
>>>>>
>>>>> Ian
>>>>>
>>>>>> …
>>>>>
>>>>>
>>>>> --
>>>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/79CB4303-7226-4A77-94AB-4AEE97382C96%40gmail.com[https://groups.google.com/d/msgid/eiffel-users/79CB4303-7226-4A77-94AB-4AEE97382C96%40gmail.com?utm_medium=email&utm_source=footer].
>>>>
>>>> --
>>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com[https://groups.google.com/d/msgid/eiffel-users/CA%2B3qnje%2B-%2BxROa47rzkxVnefHhoKcrc%3DQAnAftTGAGnXdnV0Cw%40mail.gmail.com?utm_medium=email&utm_source=footer].
>>>
>>> --
>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/AC881873-99CB-4608-A917-2AC8932B7378%40gmail.com[https://groups.google.com/d/msgid/eiffel-users/AC881873-99CB-4608-A917-2AC8932B7378%40gmail.com?utm_medium=email&utm_source=footer].
>
> --
> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/9b956034-05cb-4d49-9900-649c15bb1e00n%40googlegroups.com[https://groups.google.com/d/msgid/eiffel-users/9b956034-05cb-4d49-9900-649c15bb1e00n%40googlegroups.com?utm_medium=email&utm_source=footer].

João Rocha

unread,
Dec 16, 2025, 7:01:59 AM12/16/25
to eiffel...@googlegroups.com
It’s true that you can sell a used Mac but it’s even better if you can avoid spending money in the first place 🙂
Knowing how Apple operates, using a macOS VM on Windows probably implies violating their TOS anyway. If Larry can afford the Mac mini just for the sake of giving support to Apple users, that’s the ideal solution. Larry is going the extra mile.

When I was considering an external ssd enclosure a few months ago, capable of tens of Gb/s in bandwidth from any reputable brand, they were around 100 eur—just for the enclosure. I ended up buying a 1 TB Thunderbolt 4 ssd for almost that price. I don’t know how the market looks like now. Perhaps for an ssd with a higher storage capacity it pays off buying the enclosure.

João

> On 16 Dec 2025, at 9:30 AM, Ulrich Windl <u202...@gmail.com> wrote:
> Hi!
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/6869d8fa-0794-41f1-9f57-bd1f5b92bbf8%40gmail.com.

Liberty Lover

unread,
Dec 16, 2025, 8:28:15 AM12/16/25
to eiffel...@googlegroups.com
To be sure — I can only afford it at this particular moment. The need just happened to hit me when I had some extra. Otherwise, I'd be stuck begging someone else or doing the (blech) dual-boot thing. Yucko.

Ulrich Windl

unread,
Dec 16, 2025, 12:22:59 PM12/16/25
to eiffel...@googlegroups.com
Hi!

I adjusted the subject, because it's going off-topic.
I had looked at a Thunderbolt enclosure myself, but the price and the fan made me avoid it. The advantage of putting an SSD into the case yourself has two advantages: You can replace it (put it into a PC (not Mac)), and you know what's inside the case

Ulrich

16.12.2025 13:01:42 João Rocha <rocha....@gmail.com>:

> It’s true that you can sell a used Mac but it’s even better if you can avoid spending money in the first place 🙂
> Knowing how Apple operates, using a macOS VM on Windows probably implies violating their TOS anyway. If Larry can afford the Mac mini just for the sake of giving support to Apple users, that’s the ideal solution. Larry is going the extra mile.
>
> When I was considering an external ssd enclosure a few months ago, capable of tens of Gb/s in bandwidth from any reputable brand, they were around 100 eur—just for the enclosure. I ended up buying a 1 TB Thunderbolt 4 ssd for almost that price. I don’t know how the market looks like now. Perhaps for an ssd with a higher storage capacity it pays off buying the enclosure.
>
> João
>
>> On 16 Dec 2025, at 9:30 AM, Ulrich Windl <u202...@gmail.com> wrote:
>> Hi!
>>
>> Recently I had "built" a solution with a 2TB fast SSD in an external USB 3 case for around 100€. If you want details, just tell me. I don't want to look like advertising products here.
>>
>> Ulrich
>>
>> 16.12.2025 03:05:37 Liberty Lover <rix....@gmail.com>:
>>
>>> I ordered the Mac Mini that I spec'd above. Let's pray that it works. I just need to get it here and also order a 1-3 TB external drive for it.
>>>
>>>> On Monday, December 15, 2025 at 10:45:41 AM UTC-5 Liberty Lover wrote:
>>>> The VM options on a Windows PC for running a Mac are pretty bad.
>>>> On Mon, Dec 15, 2025 at 5:32 AM João Rocha <rocha....@gmail.com> wrote:
>>>>> Hi Larry,
>>>>> It’s not possible to install macOS in a virtual machine?
>>>>> The Mac mini with the spec you chose plus the external ssd would be a great choice, though. I believe it’s the most bang for the buck you can get.
>>>>> João
>>>>>> …
>>>>> --
>>>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/AC881873-99CB-4608-A917-2AC8932B7378%40gmail.com[https://groups.google.com/d/msgid/eiffel-users/AC881873-99CB-4608-A917-2AC8932B7378%40gmail.com?utm_medium=email&utm_source=footer].
>>>
>>> --
>>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/9b956034-05cb-4d49-9900-649c15bb1e00n%40googlegroups.com[https://groups.google.com/d/msgid/eiffel-users/9b956034-05cb-4d49-9900-649c15bb1e00n%40googlegroups.com?utm_medium=email&utm_source=footer].
>>
>> --
>> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
>> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/6869d8fa-0794-41f1-9f57-bd1f5b92bbf8%40gmail.com.
>
> --
> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/4A9B657E-5EDB-47B6-82A7-F3E76E8D2DD7%40gmail.com.

Liberty Lover

unread,
Dec 16, 2025, 12:35:39 PM12/16/25
to eiffel...@googlegroups.com
My Mac Mini will be here on Friday, so we shall see how that goes. :-) 

Ian Joyner

unread,
Dec 16, 2025, 5:32:37 PM12/16/25
to eiffel...@googlegroups.com
Yes, I should have mentioned getting an external drive. There are plenty of USB-C ports.

Don’t buy peripherals or accessories from Apple though, they are always more expensive, although mostly guaranteed quality.

Ian

Liberty Lover

unread,
Dec 16, 2025, 6:11:30 PM12/16/25
to eiffel...@googlegroups.com
Reply all
Reply to author
Forward
0 new messages