NixOS to Void Linux Switch: Bootable USB Not Detected in BIOS Menu

Abstract: User reports issues with creating a bootable USB for NixOS and switching to Void Linux, as the USB is not detected in the BIOS menu.

Created: 2024-05-16 by UserComp.com Editors

Honestly Embarrassing: Switching from NixOS to Void Linux - Bootable USB Not Detected in BIOS Menu

In this article, we'll discuss the process of switching from NixOS to Void Linux, focusing on the issue of a bootable USB not being detected in the BIOS menu. We'll cover the key concepts related to this problem, including creating a bootable USB, checking if the BIOS can detect it, and troubleshooting steps to take if it's not detected.

Creating a Bootable USB

To create a bootable USB for Void Linux, you'll need to download the ISO file from the official website and use a tool like dd or Rufus to write the ISO to the USB drive. Here's an example of how to do it using the dd command in Linux:


sudo dd if=/path/to/void-linux.iso of=/dev/sdX bs=4M status=progress oflag=sync

Replace /path/to/void-linux.iso with the path to the ISO file you downloaded, and /dev/sdX with the device identifier for your USB drive. Be sure to double-check that you're writing to the correct device, as this process will erase all data on the drive.

Checking if the BIOS Can Detect the Bootable USB

Once you've created the bootable USB, restart your computer and enter the BIOS menu. The method for doing this varies by manufacturer, but it usually involves pressing a key (like F2, F10, or DEL) during the boot process. Once you're in the BIOS menu, check the boot order to see if the USB drive is listed. If it is, make sure it's set as the first boot device.

Troubleshooting

If the BIOS can't detect the bootable USB, there are a few troubleshooting steps you can take:

Check that the USB drive is properly connected to the computer.
Try using a different USB port or a different USB drive.
Make sure the ISO file was downloaded correctly and isn't corrupted.
Try creating the bootable USB again, making sure to write to the correct device.
Check the BIOS settings to make sure USB boot is enabled.

Switching from NixOS to Void Linux can be a frustrating experience if you run into issues with the bootable USB not being detected in the BIOS menu. However, by following the steps outlined in this article, you should be able to create a bootable USB and get Void Linux installed on your computer.

References

Note: This article is for informational purposes only and does not constitute technical support or advice. If you're having trouble installing Void Linux, we recommend consulting the official documentation or seeking help from the Void Linux community.

Tags: Linux Bootable USB BIOS Menu

Latest News

Generating SSH Key Failed on Windows 11 (Simplified Chinese)

This article provides solutions for the issue of SSH key generation failure on Windows 11 in Simplified Chinese. Learn how to resolve this problem and continue with your Git installation.

Windows 11: Duplicate and Extend Displays in a Home Office Setup

Learn how to duplicate and extend displays in a home office setup using Windows 11. This guide provides step-by-step instructions to optimize your workspace comfort.

Increase Timeout Limit in Firefox

Learn how to increase the timeout limit in Firefox to avoid high network latency issues causing the browser to hit the timeout limit while loading pages.

Creating Non-Persistent Shadow Copy Backups on Windows 11 Pro

Learn how to create non-persistent shadow copy backups on Windows 11 Pro using WSL and Google Cloud Storage, solving the issue of WSL seeing open Windows files locked.

HP ProLiant MicroServer Gen8: DHCP Server Not Pinging Gateway

This article provides a solution for connecting an HP ProLiant MicroServer Gen8 running a fresh install of Linux Mint 22.1, using an Ethernet cable previously used with an HP laptop, which has proven internet connectivity, but fails to connect with the DHCP server not pinging the gateway.

Disabling Tenor GIF selector window in Emoji picker on Windows 11

Learn how to disable the Tenor GIF selector window in the Emoji picker on Windows 11, which starts flashing distracting animations when invoked.

Troubleshooting Webcam Upgrade on Windows 11 N Pro

This article provides a solution for the error encountered while upgrading a computer running Windows 11 N Pro, as the upgrade is not officially supported due to the lack of TPM. The issue starts when attempting to launch the Windows Camera app.

Setting up Office PC Server with Raspberry Pi: Multihop SSH Tunnel Reverse Forward Tunnel

Learn how to set up an Office PC Server with a Raspberry Pi using a Multihop SSH Tunnel Reverse Forward Tunnel. This guide will walk you through the process of connecting your home PC (192.168.1.42) to a Raspberry Pi and opening an SSH remote tunnel. Follow this tutorial to securely access your office server from home.

Why does the mouse cursor trail on older Windows versions?

Older versions of Windows sometimes cause the mouse cursor to trail, leaving copies of the cursor on the screen as it moves. This can be a problem when the computer is running slowly.

Optimizing ChatGPT Web App Performance in Firefox

This article provides tips and tricks to improve the performance of a ChatGPT web app in Firefox without losing functionality. Long conversations and slow typing input delays are common issues addressed in this article.

Troubleshooting HDR Luminance Levels Mapping/Scaling while Playing HDR on PC

This article provides solutions for issues encountered while playing downloaded HDR content on PC, such as incorrect luminance levels, mapping, or scaling. Common problems include games and YouTube not supporting HDR, even when setup is correct.

Conditional Formatting: Chart Title Greyed

This article explains how to use Conditional Formatting in a chart, but the chart title is greyed out. Here's how to resolve this issue...

VeraCrypt Dual Boot Setup Disappears After Windows Reinstallation

This article provides a solution for the issue where the VeraCrypt dual boot setup disappears after a Windows reinstallation.

Options for Installing NVME PCIe Adapter on IBM System x3650 M3 Type 9745KPG

Recently purchased an old IBM System x3650 M3 Type 9745KPG without drives. Wanting to install an NVME PCIe adapter for read support. What are the options?

Transparent Selection in Microsoft Paint Windows 11

Learn how to use the Transparent Selection option in Microsoft Paint Windows 11 for seamless image editing. Follow this guide to make your editing experience more efficient.

Inspiron 155000 Black Screen Boot Loop

A Dell Inspiron 155000 laptop is stuck in a boot loop while charging and downloading a file. The laptop returns 'Found laptop', and turning the charging lights blinks 3 amber and 1 white.

Check Bitvise SSH Server License Validity Period on Windows 10

Bitvise SSH Server license has expired and the server stops working, causing loss of access to remote computers. Check the current license validity date to plan ahead.

Preserving Layers Saving in Microsoft Paint on Windows 11

Learn how to preserve layers when saving an image in Microsoft Paint on Windows 11 to avoid flattening and losing the ability to edit the image.

Change Time Windows CMD Without Admin Rights

Learn how to change the system time in Windows CMD without requiring admin rights using GitHub's Action Runner and Clock Sync.

How to Transpose Rows/Columns in Notepad++ using Python Script Plugin

Learn how to transpose rows or columns in Notepad++ using the Python Script plugin. This article provides a step-by-step guide to install and use the plugin for efficient data manipulation.

File Complaint Expedia

Learn how to file a complaint with Expedia. This guide covers steps for filing a complaint on Linux, Windows, and MacOS platforms.

Unable to Connect Home Sky Broadband Network on Win10 Laptop: WiFi/Ethernet not valid IP configuration

This article provides solutions for Win10 laptop users who are unable to connect their home Sky Broadband network due to the 'WiFi/Ethernet not valid IP configuration' error.

Change Visited Link Color in Firefox (Latest Update: April 2025, v138.0)

Learn how to change the visited link color in Firefox with the latest update (April 2025, v138.0). This article provides step-by-step instructions to customize your Firefox browser.

Resolved Dispute Expedia

Learn how to resolve disputes with Expedia effectively. This article provides a step-by-step guide to help you through the process.

Since upgrading to Windows 11, how to use Ctrl-Alt-Delete to login?

After upgrading to Windows 11, the Ctrl-Alt-Delete key combination no longer brings up the prompt to enter a PIN (logging into Windows). No indication is given when the keys are pressed.

Cron Won't Start VirtualBox VM: A Solution

In this article, we will discuss a solution to a common issue where Cron won't start a VirtualBox VM. This problem can occur on various operating systems, and we will provide a solution that should work across Linux, Windows, and MacOS.

Block Internet Access for VLAN using EdgeRouter X5

This article will guide you on how to block Internet access for a VLAN using EdgeRouter X5. By the end of this article, you will learn how to isolate your printer from the Internet while connected to a specific VLAN.

Export Command Line Column Task Manager Data to CSV

Learn how to export the Task Manager's memory usage data to a CSV file using the command line. This guide covers Windows, Linux, and macOS.

Configuring OS/Browser to Open Certain File Extensions in Specific Websites (Browser-Specific) - Tech Support

Learn how to configure your operating system and browser to open specific file extensions in certain websites, making it easier to handle old computers and access modern web applications.

Recommendation for Weird/Big Multi-Monitor KVM Setup

This article provides a recommendation for a weird/big multi-monitor KVM setup using a Thunderbolt port and drive. It will guide you through the process of setting up a desktop replacement with six screens, ensuring a seamless and efficient work environment.

Running rsync on Windows using MSYS2: Source/Dest Path Formats

This article provides instructions on how to use rsync on Windows with MSYS2, converting Windows source/dest paths to a Linux-compatible format. This allows syncing through rsync.

Automating Keyboard Shortcuts with PowerShell and Task Scheduler

Learn how to automate keyboard shortcuts using PowerShell and Task Scheduler. This guide will show you how to create and schedule a PowerShell script that sends specific keystrokes to open applications.

Splitting Multiline Text Words - PowerShell

Learn how to split multiline text words using PowerShell. This article provides a simple solution to the problem of splitting text at specific characters, even when they are followed by whitespace. Try the provided script to effortlessly split your multiline text.

Creating a User-Defined Snippets Repository in Kate

This article provides a step-by-step guide on creating and setting up a user-defined snippets repository in Kate, a powerful and feature-rich text editor. Follow these instructions to streamline your coding experience.

Creating a Spreadsheet List with Addresses and Tickbox for Payment Received

Learn how to create a spreadsheet list with addresses and a tickbox for payment received. This tutorial will guide you step-by-step to organize your data effectively.