| 1 |
On 03.09.20 14:43, Ulrich Mueller wrote: |
| 2 |
>>>>>> On Thu, 03 Sep 2020, Florian Schmaus wrote: |
| 3 |
> |
| 4 |
>> It's not really maintaining the information twice. The information is |
| 5 |
>> maintained at a single point: /etc/env.d |
| 6 |
>> And from there is is transformed by env-update already into two |
| 7 |
>> different formats: |
| 8 |
>> - /etc/profile.env |
| 9 |
>> - /etc/csh.env |
| 10 |
> |
| 11 |
>> And with that change additionally into |
| 12 |
>> - /usr/lib/environment.d/gentoo-profile-env.conf |
| 13 |
> |
| 14 |
> Sorry for another nitpick, but it's changing a file in /usr at runtime> Also, does the file belong to any package, or is it an orphan? |
| 15 |
|
| 16 |
It's an orphan. |
| 17 |
|
| 18 |
> Maybe it would be cleaner to generate the file in /etc like the others, |
| 19 |
> if necessary with a symlink in /usr/lib/environment.d? |
| 20 |
|
| 21 |
Good point. A symlink wont be necessary. We could also generate the file |
| 22 |
in /etc/environment.d |
| 23 |
|
| 24 |
I guess /etc/environment.d is preferred over /usr/lib/environment.d? |
| 25 |
I'll make the according changes to the patch. |
| 26 |
|
| 27 |
- Florian |
Archives