Opened 3 years ago

Closed 2 years ago

#13384 closed enhancement (fixed)

make /etc/profile compatible with more shells

Reported by: mirabilos Owned by: nobody
Priority: low Milestone: Unscheduled
Component: System/POSIX Version: R1/Development
Keywords: Cc:
Blocked By: Blocking:
Has a Patch: yes Platform: All

Description

Hi,

I’m attaching a patch to make /etc/profile compatible with more shells (focus on mksh, but also other non-GNU bash shells can benefit from it).

This is against today’s nightly build.

Attachments (1)

profile.diff (1.1 KB ) - added by mirabilos 3 years ago.
diff for /etc/profile

Download all attachments as: .zip

Change History (5)

by mirabilos, 3 years ago

Attachment: profile.diff added

diff for /etc/profile

comment:1 by mirabilos, 3 years ago

Has a Patch: set

comment:2 by waddlesplash, 3 years ago

Looks good to me.

comment:3 by pulkomandy, 2 years ago

Applied in hrev51038, thanks!

comment:4 by pulkomandy, 2 years ago

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.