#IstioCon Set Sail for a Ship-Shape Istio Release Brian Avery / twitter: @briansvgs / Red Hat Senior Software Engineer Eric Van Norman / twitter: @kf0s / IBM Senior Software Engineer #IstioCon First

#IstioCon How HP set up secure and wise platform with Istio John Zheng/ john.zheng@hp.com #IstioCon Agenda ➢ HP Horizon platform design with Istio ➢ Secure Platform ➢ Wise Platform ➢ Excellent Excellent Observability Istio(envoy) can generate access logs for service traffic in a configurable set of formats #IstioCon Excellent Observability - Access logs Log Files Parse Istio-proxy Log •

try brew install icu4c. Note that this installs ICU in a non- standard location. You may need to set export PKG_CONFIG_PATH="$(brew --prefix)/opt/icu4c/lib/pkgconfig" See brew info icu4c for details environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to

environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to echo "standard-library" > ~/.agda/defaults The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details

environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to echo "standard-library" > ~/.agda/defaults The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details

environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to echo "standard-library" > ~/.agda/defaults The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details

macOS, try brew install icu4c. Note that this installs ICU in a non-standard location. You may need to set export PKG_CONFIG_PATH="$(brew --prefix)/opt/icu4c/lib/pkgconfig" See brew info icu4c for details environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: 8 Chapter 2. Getting Started Agda User Manual, Release program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to

environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note: Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to Started Agda User Manual, Release 2.6.2.2 The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details

environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note: Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to echo "standard-library" > ~/.agda/defaults The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details

environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note: Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to echo "standard-library" > ~/.agda/defaults The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details