Skip to main content

Using Bash on Windows 10

Some quick tips on using Bash in Windows 10, based on my own experience.

First I followed the guide at HowToGeek to install Windows Subsystem on Linux (WSL). I picked the Ubuntu distro to install as I'm more familiar with apt-get.


After that, launch Ubuntu. It's only the shell, no GUI. That's fine for my usage though, I'm using it to batch rename files with regex, and command line programs to process audio for my Japanese learning.

Next I installed packages I needed. But you'll probably see error saying package not found.
The solution: (thanks to a post at SuperUser)
sudo apt update
Then only sudo apt-get install <package>

Packages I use when I process files for Japanese learning:
rename
sox
libsox-fmt-mp3
ffmpeg

I also bumped into an annoying detail when using the Bash shell: the blue is too hard to read! Whoever thought of the default dark blue on black is not thinking about readability at all -_-
The solution: change to a lighter blue. Thank goodness for this post on SuperUser, I changed the color to a lighter blue so I can actually read the text.

Some additional random tips:

1. Launching a bash shell:
either run the Ubuntu
or
at Windows Explorer, type in "bash"
- you'll need to do the blue color change again

2. To go to a path
Replace C:\ disk with /mnt/c
Replace \with /
Or just open Bash shell in Windows Explorer (my preferred method)

Comments

Popular posts from this blog

Another Rainmeter setup

Because I like dark wallpapers too. Current desktop Alternative wallpaper Details 10 Foot HUD YBoris edit skin for the time and date Enigma Now Playing skin Dynamic quotes skin by me. Uses the quote plugin to display a random lime from a text file. Notes skin to display my to do list. Based on the notes skin from Lady Gaga Tribute by Alek Aldinger and Simplesentence3 by White-Baron. Uptime skin by me Autobahn font for my tweaked skins Lamp wallpaper by CL88 Aurore wallpaper   Why use Rainmeter? I've tried Rainmeter before but it never stuck because I didn't really get the point of it. That is, until I read the Lifehacker primer and it clicked together for me - it's widgets! (I highly recommend the article, especially the section on glossary.) It's just like Yahoo Widgets (is anyone still using these?) and Windows Gadgets, except you can get all the widgets ("skins") in a matching col...

How To Find Out How Easy A Certain Japanese Text Would Be For You

Are you trying to up your Japanese reading skills? Have a set of electronic reading materials, but don't know which one to start with? One way to rate them is by how easy they would be for you to read, so you can pick the level you're comfortable with. To do that, you'll first need a text list of words you already know, and then use that as an input file to the Japanese Text Frequency Analyzer tool. An easy way to get the list is to use the Morphman plugin in Anki (I'm assuming you're using Anki. Find out how to export the list if you use another SRS/flashcard system). What you'll need: Anki Morphman Anki Plugin cb's Japanese Text Analysis Tool Steps: 1. Ensure your database of known words is up to date by forcing a Morphman Recalc. You can do this by using the Anki tools menu or the default shortcut Ctrl+M. If there are words you already know that are not in Anki, see this section of MorphMan Wiki . To make things easier for m...

Where Google+ is better than Facebook

The new kid on the social networking block, Google+ has been in field trial for just over a month. After using it actively this past week or so, I thought I'd write down the things that I like about it. Before I start, a disclaimer: this is  not  a post bashing Facebook, nor am I claiming that Google+ is the best social network out there. This is meant to be a list of the details that make me lean ever so slightly (all right, a lot) towards Google+. Some terminology before we start (Facebook on the left, Google+ on the right), wall/news feed = stream friend list = circles Here's the list of places where I think Google+ is better than Facebook, starting with the smaller details before moving to the larger differences between them. Skip to the end for the tl;dr version. 1. Editable posts and comments Google+ allows you to edit as well as delete your posts and comments. There is no time limit, and the time of last edit is displayed. ...