General

Profile

Hubert Garavel

  • Registered on: 2018-12-04
  • Last connection: 2019-10-08

Issues

Activity

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
10:22 AM illumos gate Bug #11688 (New): Improper behaviour of shell redirections combined with "tee"

We observed that, on Illumos/OpenIndiana, some output lines disappear when
shell redirections are combined with "t...
Hubert Garavel
09:04 AM illumos gate Bug #11686 (In Progress): Improper regexp matching when both \> and $ are present
A regular expression of the form... Hubert Garavel

2019-09-13

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

Sorry, we are not convinced by the arguments that led to bug rejection.
First, $PAGER is not only related to th...
Hubert Garavel

Also available in: Atom