verifast.desktop


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/usr/bin/env xdg-open
[Desktop Entry]

# Application, Links (URL), or Directory (sub-group for applications)
Type=Application

Encoding=UTF-8
Name=Verifast UI
GenericName=Verifast
Comment=Verifast
Icon=/opt/verifast/icon.png
Exec=/opt/verifast/bin/vfide

# Should run in a terminal?
Terminal=false