** Q1:** Is there a separable normed space that is not sigma-compact, but is a countable union of
totally bounded closed subsets?

A test case is the space $C^1(I)$ with the $C^0$ norm where $I=[0,1]$. The space is the countable union of closed subsets $\{f: ||f||_{C^1}\le n\}$ which are totally bounded by Ascoli's theorem but I have trouble seeing if the space is sigma-compact.

Here is the difficulty. The usual proof of non-sigma-compactness invokes the following fact: *a sigma-compact space is a countable union of nowhere dense subsets if and only if it is nowhere locally compact. * For example, if a normed space $X$ contains a closed infinite dimensional Banach subspace $Y$,
then $X$ is not sigma-compact because if it were, then $Y$ would be sigma-compact, nowhere locally compact, and complete contradicting the Baire category theorem.
For normed spaces (and probably in general) this italised statement holds with "compact" replaced by "closed totally bounded". Thus in the setting of Q1 there seems to be lack of tools to prove non-sigma-compactness.

** Q2:** Is there another method to prove non-sigma-compactness for separable normed spaces?