2023-02-17 08:46:32 -05:00
|
|
|
### Everest Linux Edge
|
2023-02-02 11:38:54 -05:00
|
|
|
|
|
|
|
|
Easily update an Everest system with Git.
|
|
|
|
|
|
2023-02-17 08:50:07 -05:00
|
|
|
### How does it work?
|
2023-02-02 11:38:54 -05:00
|
|
|
|
|
|
|
|
All system images contain a .git directory, containing metadata
|
|
|
|
|
for every file on /. Once installed, a user can easily keep
|
|
|
|
|
their system updated, just by pulling in the latest release.
|
|
|
|
|
|
2023-02-17 08:50:07 -05:00
|
|
|
### What you'll need
|
2023-02-02 11:38:54 -05:00
|
|
|
|
|
|
|
|
- A separate /usr partition (Git will NOT touch /usr.)
|
|
|
|
|
- Git
|
|
|
|
|
|
2023-02-17 08:50:38 -05:00
|
|
|
### Updating
|
2023-02-02 11:38:54 -05:00
|
|
|
|
|
|
|
|
Unmount your /usr partition:
|
2023-02-17 08:47:25 -05:00
|
|
|
```
|
2023-02-17 08:50:07 -05:00
|
|
|
(root)# umount -R /usr
|
|
|
|
|
OR
|
|
|
|
|
(root)# umount /dev/sdX # the drive mounted to /usr
|
2023-02-17 08:47:25 -05:00
|
|
|
```
|
2023-02-02 11:40:22 -05:00
|
|
|
Pull the latest version for your branch:
|
2023-02-17 08:50:07 -05:00
|
|
|
```
|
|
|
|
|
(root)# git pull
|
|
|
|
|
```
|
2023-02-02 11:40:22 -05:00
|
|
|
Or, if you want to migrate to a new branch:
|
2023-02-17 08:50:07 -05:00
|
|
|
```
|
|
|
|
|
(root)# git checkout branch_name
|
|
|
|
|
(root)# git pull
|
|
|
|
|
```
|
