tools-hardened/desktop/fluxbox-run.sh: Fixes fluxbox config file issue.

The Fluxbox menu can either be a standard default or a custom file. While
there is already a custom menu file in existance under files/usermenu, it
was not previously being copied over prior to the creation of the ISO. This
caused the user to not have a custom menu file upon boot. To fix this, a line
has been added to the script which creates the .fluxbox directory prior to
building the image.

tools-hardened/desktop/fluxbox-run.sh

@@ -45,6 +45,7 @@ setup_usergroups() {
 	chroot "${ROOTFS}"/ chown -R thuser:thuser /home/thuser
 	sed -i 's/# \(%wheel.*NOPASSWD\)/\1/' "${ROOTFS}"/etc/sudoers
 	sed -i 's/^\/usr\/*.*/\/usr\/bin\/fluxbox/' "${ROOTFS}"/etc/skel/.xinitrc
+	mkdir -p "${ROOTFS}"/home/thuser/.fluxbox
 	cp -f files/usermenu "${ROOTFS}"/home/thuser/.fluxbox/my-menu
 }