bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Create an alias on the fly?


From: Jeffrey Walton
Subject: Re: Create an alias on the fly?
Date: Mon, 30 Mar 2020 04:41:10 -0400

On Mon, Mar 30, 2020 at 4:38 AM Andreas Kusalananda Kähäri
<address@hidden> wrote:
>
> On Mon, Mar 30, 2020 at 04:24:07AM -0400, Jeffrey Walton wrote:
> > Hi Everyone,
> >
> > I'm testing some software from Master. My testing machines sometimes
> > lack the distro tools like makeinfo. It results in things like this:
> >
> >     ./bootstrap: 255: makeinfo: not found
> >     ./bootstrap: Error: 'makeinfo' not found
> >
> > I tried the MAKEINFO=true tricks but they did not work.
> >
> > How can I create an alias on the fly using code like this in Bash?
> >
> >     if ! ./bootstrap;
> >     then
> >         echo "Failed to bootstrap Wget2"
> >         exit 1
> >     fi
> >
> > Thanks in advance.
>
> This does not seem to be a bug in the bash shell.  Maybe you meant
> to post this the help-bash list?


My bad. I did not realize there was a separate user list.

> Also, why not just install the
> prerequisites for the software you're building?

Some of the systems I test on are too old and don't have working repos
to install things from. Others are resource constrained like ARM dev
boards. The dev boards don't have the storage so I would prefer to
skip the docs.

Jeff



reply via email to

[Prev in Thread] Current Thread [Next in Thread]