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