diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-08-21 20:34:27 +0100 |
|---|---|---|
| committer | Ana Huelamo <ana.huelamo@codethink.co.uk> | 2016-11-15 14:41:18 +0000 |
| commit | 852f0a4de4a22262eb70d4eed3fae1d47dbb3dfd (patch) | |
| tree | 820d90e1252ada38f0f79b8543371a6e9466bc0f /install-files/essential-files/etc/profile | |
| parent | 05b36e00bcce891b05373b5af105aadfcabcd61a (diff) | |
| download | definitions-852f0a4de4a22262eb70d4eed3fae1d47dbb3dfd.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