General

Profile

Hubert Garavel

  • Login: convecs
  • Registered on: 2018-12-04
  • Last connection: 2020-11-19

Issues

open closed Total
Assigned issues 0 0 0
Reported issues 16 8 24

Activity

2020-11-19

11:14 AM illumos gate Bug #13321 (New): Package conflict between openindiana.org and localhostoih

A package conflict recently appeared (November 2020?) between the OpenIndiana repository
and the TeX/LaTeX install...
Hubert Garavel

2020-04-19

07:20 AM illumos gate Bug #12558 (Closed): Builtin command "printf" of ksh93 does not behave as specified
After opening a shell "/bin/sh" (i.e., ksh93) and typing the following command... Hubert Garavel

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

Also available in: Atom