Update RPi OS name

This commit is contained in:
2020-06-08 21:42:02 -04:00
parent 77d55b2670
commit 1e029fd611

View File

@@ -7,7 +7,7 @@ shopt -s extglob
# Run installJRMC --help to see available options
#
# To-dos:
# 1. Raspberry Pi support -- do not own one so difficult to test
# 1. Raspberry Pi OS support
# 2. Interactive installation (ncurses?)
#
# installJRMC can be run directly or sourced as a function (by sourcing this file)