Can a global symmetry be gauged without being made local?

Discrete gauge symmetries are always global (in the sense that the "transformation parameter" is constant).

They can arise in string theory as remnants of contnuous gauge symmetries: A ten-dimensional string model can have a large gauge symmetry (e.g. $E_8\times E_8$ and local Lorentz transformations). When that is compactified to four diemnsions, the resulting theory will have an remaining gauge symmetry that can include, besides e.g. $SU(5)$ and $SO(1,3)$ a set of $\mathbb Z_n$ factors (see e.g. https://www.sciencedirect.com/science/article/pii/055032139290195H or https://www.sciencedirect.com/science/article/pii/0550321389905890 for early papers).

As for whether they are useful: The conventional wisdom is that gravity breaks all global symmetries (related to the fact that black holes hav no hair). However, this does not apply to gauged symmetries, so a gauged discrete subgroup of $U(1)_{B-L}$ could account for baryon numer conservation. (The relation to gravity also means it's more likely to come up in string theory. There probably are pure QFT uses as well, which I don't know.)

Well, any kind of potential (vector or scalar), like the gravitational potential in Newtonian gravity or the EM potentials, has a global symmetry that you can add any constant and the physical system is left invariant.

Also, the CPT theorem says that the S-matrix for any any Lorentz-invariant QFT must be invariant under simultaneous time, space, and charge reversal. So any physical setup will remain unchanged under CPT, and you can think of that as a "gauge symmetry". This is very practically useful, because you can immediately rule out a whole lot of potential physical processes just on the grounds that they aren't CPT invariant.

And while this way beyond my pay grade, my vague understanding is that in string theory there is a discrete global $\mathbb{Z}_2$ symmetry (related to fermion parity, although it's more complicated than that) which is declared to be an unobservable gauge symmetry, so that any states not invariant under that symmetry operation are declared "unphysical". This is called the "GSO projection".