Problem scenario
EXPORT works when you use it interactively from the command prompt (e.g., bash prompt).  But when you use EXPORT commands in shell scripts, they do not have the desired effect.  You have a Linux script that sets environment variables.  You do not want to log off your terminal or desktop session after the script runs to get the environment variables.  How do you change environment variables via a shell or bash script in Linux without logging off and logging back in?

…

Continue reading “With Linux the Export Command Works Fine from the Terminal but Not in Scripts, How Can Scripts Provide the Correct Bash Environment Variables?”

Problem scenario
You cannot update BIOS on an HP ProBook (a laptop) computer.  You tried following two different update instructions, but they both failed.  You tried using HPBIOSUPDREC (by double-clicking the download file) and “following the on-screen instructions.”  This resulted in an automatic boot to BIOS just to see an error that says “Unable to open BIOS image file.”  You tried installing the HP System Software Manager (SSM).

…

Continue reading “How Do You Update a BIOS on an HP ProBook Laptop Computer When the Directions Do Not Work?”

Problem scenario
You want to install Docker on Linux.  But you need a 64 bit version of Linux.  How do you determine if your operating system is 32 bit or 64 bit?

Solution
Run this script:

#!/bin/bash
os=$(uname -m | grep -i x)
if [ -z “$os” ];
then
  echo “The OS is 32 bit.  It will not work for Docker.”
else
 

…

Continue reading “How Do You Tell If You Have a 32 Bit Version of Linux or 64 Bit Version of Linux?”