Raspberry Pi OS • Re: How to rename root partition on Rpi5

Well, "my" CentOS does not like any kind of aliases ( "/" make it angry)

Code:

somprompt$ alias ~/bin/DF="/bin/df | sed -e 's:/dev/mmcblk0p2:/dev/root:'"-bash: alias: `maison/bin/DF': invalid alias name

and, in a function, I give the full path of any executable - the way it was checked- (Idea came from makefiles examples where LS, CC, FORTRAN are local names (and CC is not rm -rvf ./* though it would make compile times way shorter)

alias df="/bin/df | sed -e 's:/dev/mmcblk0p2:/dev/root:'"

Statistics: Posted by bls — Wed Jan 17, 2024 6:42 pm