Opened 8 years ago

Closed 8 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:
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 8 years ago.
diff for /etc/profile

Download all attachments as: .zip

Change History (5)

by mirabilos, 8 years ago

Attachment: profile.diff​ added

diff for /etc/profile

comment:1 by mirabilos, 8 years ago

patch: 0 → 1

comment:2 by waddlesplash, 8 years ago

Looks good to me.

comment:3 by pulkomandy, 8 years ago

Applied in hrev51038, thanks!

comment:4 by pulkomandy, 8 years ago

Resolution: → fixed
Status: new → closed
Note: See TracTickets for help on using tickets.