bbb-install
bbb-install copied to clipboard
Fix filenames for sources.list.d
Fix #785
It would be bette if we are going to use UBUNTU_CODENAME from /etc/os-release. Then we don't need to change it in the future.