diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-08-21 20:34:27 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2016-11-08 19:17:34 +0000 |
| commit | 8342678159f391e1e4db9f0198966103c75c20a2 (patch) | |
| tree | cdc6805d3eff8ae69f7ffdce36a1a287954ddd2b /install-files/essential-files/etc/profile | |
| parent | 3dcb1a2d6f541449ba7d5192c7db9e09204a799b (diff) | |
| download | definitions-8342678159f391e1e4db9f0198966103c75c20a2.tar.gz | |
Implement /usr merge
Do not create /bin, /sbin, /usr/sbin and /lib
Create symlinks
/bin -> /usr/bin
/sbin -> /usr/bin
/usr/sbin -> /usr/bin
/lib -> /usr/lib
More info here:
https://www.freedesktop.org/wiki/Software/systemd/TheCaseForTheUsrMerge/
Change-Id: Ideee202f3063eb867eea40ca85336f6643951289
Diffstat (limited to 'install-files/essential-files/etc/profile')
0 files changed, 0 insertions, 0 deletions