Before-the-dot-in-a-file-name, what is it called?

filenames, nomenclature

Solution

It's called the basename. In fact, there's a unix/linux command for it:

basename - strip directory and suffix from filenames

Problem

Original source