Skip to content

Instantly share code, notes, and snippets.

@staticf0x
Last active May 18, 2020 12:20
Show Gist options
  • Select an option

  • Save staticf0x/9a302eeb8701df88b47389abe2ccd40b to your computer and use it in GitHub Desktop.

Select an option

Save staticf0x/9a302eeb8701df88b47389abe2ccd40b to your computer and use it in GitHub Desktop.

Revisions

  1. staticf0x revised this gist May 18, 2020. No changes.
  2. staticf0x renamed this gist Mar 25, 2020. 1 changed file with 0 additions and 0 deletions.
    File renamed without changes.
  3. staticf0x created this gist Mar 25, 2020.
    10 changes: 10 additions & 0 deletions sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,10 @@
    #!/bin/bash

    PID=$(pgrep $1)

    if [ ${PID:-null} = null ]
    then
    $1 &
    else
    wmctrl -xa $1
    fi