oops, had turned on the f10 build instead of f12-f12
[infrastructure.git] / tunings-myplc / dot-bashrc
1 alias plc='chroot /plc/root su -'