General

Profile

Hubert Garavel

  • Registered on: 2018-12-04
  • Last connection: 2020-01-10

Issues

Activity

2019-10-15

03:26 PM illumos gate Bug #10585: Non-standard definition of $PAGER in /etc/profile

Concerning the remark of Andrew Stormont:
"I do think that the application that is having issues due to it bl...
Hubert Garavel
03:11 PM illumos gate Bug #10585: Non-standard definition of $PAGER in /etc/profile
Thanks, Michal, for this careful study. This suggests how to resolve the issue without breaking things.
Indeed, I ...
Hubert Garavel
02:52 PM OpenIndiana Distribution Feature #10582: Missing commands in OI userland

Wonderful, thanks a lot for merging mpack! Yes, the ticket can be closed.
Hubert Garavel

2019-10-08

09:16 AM illumos gate Bug #10585: Non-standard definition of $PAGER in /etc/profile

Sorry, blaming application tools (and their developers) is a poor argument that leads to nowhere.
The fact is th...
Hubert Garavel

2019-09-17

04:55 PM illumos gate Bug #11688: Improper behaviour of shell redirections combined with "tee"

The bug also occurs if...
Hubert Garavel
04:49 PM illumos gate Bug #11688: Improper behaviour of shell redirections combined with "tee"

Erratum: in the above bug report, the two lines...
Hubert Garavel
04:44 PM illumos gate Bug #10585: Non-standard definition of $PAGER in /etc/profile

The fact that OI (illumos) chose to have it set to "less -ins" is precisely the problem.
No comparable operatin...
Hubert Garavel
04:20 PM illumos gate Bug #10585: Non-standard definition of $PAGER in /etc/profile

There is a significant difference between "more" (or "more -s") and "less" (or "less -ins"):
if F is a small fil...
Hubert Garavel

2019-09-16

10:29 AM illumos gate Bug #11688: Improper behaviour of shell redirections combined with "tee"

The bug also disappears if...
Hubert Garavel
10:27 AM illumos gate Bug #11688: Improper behaviour of shell redirections combined with "tee"

Further observations:
The bug disappears if ...
Hubert Garavel

Also available in: Atom