apiVersion: networking.k8s.io/v1
kind: Ingress
metadata:
  name: scilla-server
  labels:
    app.kubernetes.io/name: scilla-server
  annotations:
    nginx.ingress.kubernetes.io/rewrite-target: /$2
spec:
  rules:
    - host: localhost
      http:
        paths:
          - path: /
            pathType: Prefix
            backend:
              service:
                name: scilla-server
                port:
                  number: 4000