Subject: Re: [PATCH v2 1/3] system: Rename and move %base-packages-disk-utilities.

From: Maxim Cournoyer <[email-masked]>
Date: Mon, 05 Dec 2022 10:30:36 -0500

Hi Efraim,

Efraim Flashner <[email-masked]> writes:

[...]

> Would it be better to do
>
> (define-deprecated/alias-public %base-packages-disk-utilities
>   %installer-disk-utilities)
>
> And remove the export from the list at the top of (gnu system)?

Currently %installer-disk-utilities is not exported from (gnu system
install).  And even if it was, we'd still have to import it in (gnu
system), which would perhaps introduce a module cycle.

So I think the deprecation warning saying it's gone (i.e., using #f as
replacement) is the most accurate and least problematic option.

-- 
Thanks,
Maxim