diff --git a/src/recipe/os/APT/Debian.c b/src/recipe/os/APT/Debian.c index 54ac132..7751e14 100644 --- a/src/recipe/os/APT/Debian.c +++ b/src/recipe/os/APT/Debian.c @@ -8,7 +8,7 @@ * | * Created On : <2023-09-02> * Major Revision : 3 - * Last Modified : <2025-03-25> + * Last Modified : <2025-06-16> * ------------------------------------------------------------*/ static SourceProvider_t os_debian_upstream = @@ -127,7 +127,9 @@ os_debian_setsrc (char *option) if (use_cdrom) { chsrc_backup (OS_Debian_old_SourceList); - system ("rm " OS_Debian_old_SourceList); + int rm_status = system ("rm " OS_Debian_old_SourceList); + if (rm_status != 0) { /* Placate -Wunused-result */ } + chsrc_warn2 ("旧版源配置文件中使用了 CDROM 源,已删除(但备份)该配置文件,重新配置"); /* 现在的情况是:系统中已经没有配置文件了 */ sourcelist_exist = ensure_debian_or_ubuntu_old_sourcelist (OS_Is_Debian_Literally); diff --git a/src/recipe/ware/Homebrew.c b/src/recipe/ware/Homebrew.c index 1864909..43194b5 100644 --- a/src/recipe/ware/Homebrew.c +++ b/src/recipe/ware/Homebrew.c @@ -5,7 +5,7 @@ * Contributors : Nil Null * Created On : <2023-09-10> * Major Revision : 3 - * Last Modified : <2024-08-28> + * Last Modified : <2025-06-16> * ------------------------------------------------------------*/ /** @@ -33,7 +33,8 @@ wr_homebrew_getsrc (char *option) "echo HOMEBREW_BOTTLE_DOMAIN=$HOMEBREW_BOTTLE_DOMAIN;" "echo HOMEBREW_BREW_GIT_REMOTE=$HOMEBREW_BREW_GIT_REMOTE;" "echo HOMEBREW_CORE_GIT_REMOTE=$HOMEBREW_CORE_GIT_REMOTE;"; - system (cmd); + int status = system (cmd); + if (status != 0) { /* NOOP */ } } /**