'gEdit stdin in external tools plugin (or any other solutions/workarounds)

I am configuring gEdit external tools plugin, and this is what i have got so far:

#!/bin/sh
TYPE=$GEDIT_CURRENT_DOCUMENT_TYPE
FILE=$GEDIT_CURRENT_DOCUMENT_NAME

case $TYPE in
    text/x-python)
        /bin/python3 "$FILE"
    ;;
    *)
        echo Not supported.
        echo $TYPE
    ;;
esac

It rus a Python script i am working on successfully, but when the program contains stuff related to stdin (like input("something: "))) the program exits with code 256. Is there anyway to fix this? I can't find anything online.

Edit: I realized that maybe gEdit Tool OUTPUT only supports outputs. So is there anyway to do it with the embedded terminal? Still, solutions using external tools plugin is also welcome.

ubuntugeditgedit-plugin


Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source

Related Questions