Exactly what I do. Kind of embarrassing, but my 11 year old laptop (which I got second hand even then) runs Linux Mint pretty well. A lighter distro might be better, but it runs fine. However, when I boot Windows 10 (which is actually rare), it's pretty sluggish.