I have got stuck in these concepts for a fews days: Wick rotation, Euclidean spacetime and QED in gravity.
Generally, in Minkowski space time, there is a factor $i$ in front of the action $S$, e.g., the path integral looks like \begin{equation} \int \mathcal{D}{(\mbox{fields})} \exp\{iS_{Mink}\} \end{equation}
Now we perform a Wick rotation $t=-ix^4$, the metric shall go from $(-,+,+,+)$ to $(+,+,+,+)$ which is positive-definite and is known as "Euclidean spacetime". Doing some algebra, the path-inetgral will look like \begin{equation} \int \mathcal{D}{(\mbox{fields})} \exp\{-S_{Euc}\}. \end{equation} where $-S_{Euc}=iS_{Mink}$ and $Euc=$ Euclidean spacetime.
My confusion is: Does the name "Euclidean spacetime" depend on the positivity of metric? Suppose I have a Dirac theory in gravitational field of positive-definite metric $g^{\mu\nu}$ \begin{equation} S_{Dirac}= \int d^4x \sqrt{g}~~i\bar{\psi}\gamma^{\mu}(\nabla_{\mu}-ieA_{\mu})\psi,~~~\{\gamma^{\mu},\gamma^{\nu}\}=2g^{\mu \nu} \end{equation} Which one should I choose for path-integral, $\exp\{{iS_{Dirac}}\}$ or $\exp\{-S_{Dirac}\}$?