Package: mcu8051ide / 1.4.7-2

addlaunchscript.patch Patch series | download
1
2
3
4
5
6
7
8
9
Description: Added launch script
Author: Fabricio Alcalde <f@lcald.com.ar>
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- /dev/null
+++ b/mcu8051ide
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec tclsh8.6 /usr/share/mcu8051ide/lib/main.tcl "$@"