Skip to content
Snippets Groups Projects
Select Git revision
  • ee3b39161fabc681098c27039b61caf2fba6ab33
  • develop default protected
  • feature/kinetic-schemes
  • feature/reconstruction
  • feature/local-dt-fsi
  • feature/composite-scheme-sources
  • feature/composite-scheme-other-fluxes
  • feature/serraille
  • feature/variational-hydro
  • feature/composite-scheme
  • hyperplastic
  • feature/polynomials
  • feature/gks
  • feature/implicit-solver-o2
  • feature/coupling_module
  • feature/implicit-solver
  • feature/merge-local-dt-fsi
  • master protected
  • feature/escobar-smoother
  • feature/hypoelasticity-clean
  • feature/hypoelasticity
  • v0.5.0 protected
  • v0.4.1 protected
  • v0.4.0 protected
  • v0.3.0 protected
  • v0.2.0 protected
  • v0.1.0 protected
  • Kidder
  • v0.0.4 protected
  • v0.0.3 protected
  • v0.0.2 protected
  • v0 protected
  • v0.0.1 protected
33 results

pgs-pygments.sh

Blame
  • pgs-pygments.sh 415 B
    #!/bin/env bash
    
    arguments=()
    
    while [[ "$#" -ne 0 ]]; do
      case "$1" in
      -l)
        arguments+=("$1")
    
        shift
        lexer=$1
    
        if [[ "$lexer" == "Pugs" ]]; then
          arguments+=("${PUGS_SOURCE_DIR}/tools/pgs-pygments.py:PugsLexer")
          arguments+=("-x")
        else
          arguments+=("${lexer}")
        fi
    
        ;;
      *)
        arguments+=("$1")
        ;;
      esac
      shift
    done
    
    pygmentize -Ostyle=colorful "${arguments[@]}"