[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/01: website: profiles-in-practice: Fix typo.
From: |
Ludovic Courtès |
Subject: |
01/01: website: profiles-in-practice: Fix typo. |
Date: |
Fri, 25 Oct 2019 06:33:30 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix-artwork.
commit 1e85139e2484d2de38296dffebb82194ea9292f8
Author: Ludovic Courtès <address@hidden>
Date: Fri Oct 25 12:33:15 2019 +0200
website: profiles-in-practice: Fix typo.
* website/posts/profiles-in-practice.md: Fix typo.
---
website/posts/profiles-in-practice.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/website/posts/profiles-in-practice.md
b/website/posts/profiles-in-practice.md
index d2cf93a..e0c8115 100644
--- a/website/posts/profiles-in-practice.md
+++ b/website/posts/profiles-in-practice.md
@@ -32,7 +32,7 @@ Multiple profiles have many benefits:
shells, each of them running different profiles.
- Isolation: Programs from one profile will not use programs from the other,
and
- they user can even install different versions of the same programs to the
two
+ the user can even install different versions of the same programs to the
two
profiles without conflict.
- Deduplication: Profiles share dependencies that happens to be the exact
same.