В чем разница между `guix install` и `guix pull`?

grep -vудаляет любую строку , соответствующую заданной строке; поэтому в вашем случае любая строка, содержащая «%», удаляется полностью.

Чтобы удалить только символ, используйтеtr:

df -h / | tr -d %

0
19.01.2020, 15:58
1 ответ

Для пользователей, перешедших из других менеджеров пакетов, могут применяться следующие грубые аналогии. Но не делайте из этого слишком много выводов, потому что GUIX позволяет каждому пользователю использовать свой собственный набор пакетов и даже собственную версию GUIX!

guix pullпохож на apt-get updateтем, что загружает новый список доступных пакетов, заменителей и производных. Однако он также устанавливает для вас новую версию GUIX! (по причинам)

guix package -i(синонимыguix installguix package -uаналогичны apt-get installили apt-get upgradeтем, что вы можете устанавливать/обновлять пакеты, но только если вы получили обновленный список пакетов(apt-get update/guix pull)до.

Они меняют разные профили, существующие для разных задач

  • По умолчанию guix pullизменяет профиль ~/.config/guix/current. Этот профиль предназначен для создания профилей и всего, что связано (, например. установка пакетов ).

  • По умолчанию guix installили его синоним guix package -iизменяет профиль ~/.guix-profile. Этот профиль предназначен для любой продуктивной работы (? )работа, которую вы делаете.

См. этот вопрос SO для получения дополнительной информации об этих профилях

2
28.01.2020, 02:38

Теги

Похожие вопросы