Added the 'obi' prefix in the bash history commands, and fixed a compilation issue with some versions of gcc.
Added the 'obi' prefix in the bash history commands, and fixed a compilation issue with some versions of gcc.
Added the 'obi' prefix in the bash history commands, and fixed a compilation issue with some versions of gcc.
Added the 'obi' prefix in the bash history commands, and fixed a compilation issue with some versions of gcc.