[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
<andreas.kahari@abc.se> 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