Skip to content

Instantly share code, notes, and snippets.

@felipsmartins

felipsmartins/idea.properties

Created August 13, 2020 05:16
Show Gist options
  • Save felipsmartins/a3603f075d76f64033cf532d275995f0 to your computer and use it in GitHub Desktop.
Save felipsmartins/a3603f075d76f64033cf532d275995f0 to your computer and use it in GitHub Desktop.
Download ZIP
JETBRAINS - stop saving terminal session tabs
Raw
idea.properties
# custom PhpStorm properties
~/.config/JetBrains/PhpStorm2020.2/idea.properties
# https://youtrack.jetbrains.com/issue/IDEA-117946#focus=Comments-27-4088395.0-0
terminal.persistent.tabs=false
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment