Re: [TECH] difference bash entre mandriva et debian

[Paul Marques Mota <mota AT april.org>]

On Thu, Mar 16, 2006 at 11:18:58AM +0100, Patrick wrote:
> Bonjour,

Bonsoir,

> Le shell utilisé est bash dans les 2 cas, les SHELLOPTS sont les mêmes.
> J'ai essayé des trucs genre set -o posix ou set +o noglob, passé pas mal
> de temps à chercher sur google. J'avoue ne pas avoir lu entièrement la
> page man de bash.

Il faut lire la section COMMANDES INTERNES DU SHELL pour s'apercevoir
que l'équivalent de ton builtin tcsh dans bash est type.

> Patrick

Amicalement,
-- 
        Paul