On Sat, Jun 16, 2012 at 01:00:02PM +0200, Nelson Marambio wrote:
> OK, this may be the solution:
>
> Because typing 'depmod' returned a 'command not found' I recognized
> that my current $PATH was different from /etc/profile .
>
> So with 'source /etc/profile' the missing directories were added
> again, this seems to be even permanent up to now.
>
> Afterwards I could upgrade the kernel without any problems.
>
Sorry for hijacking on $PATH, but...
If you want to play around with $PATH in .bashrc or the like sourced script,
use this function or something equally careful:
# adds one path to $PATH and checks if it isn't already in there
addpath() {
[[ "$PATH" == *$1* ]] || export PATH="$PATH:$1"
}
unless, of course, you fancy ending up with a crazy long $PATH
(in the .bashrc case) or it's going to break in other ways...
cheers!
mar77i
