Jump to content

Search the Community

Showing results for tags 'Picat'.

  • Search By Tags

    Type tags separated by commas.
  • Search By Author

Content Type


Forums

  • Alfred 3
  • Make the Most of Alfred
    • Discussion & Help
    • Bug Reports
    • Alfred Feature Suggestions
    • Themes
  • Alfred Workflows
    • Share your Workflows
    • Workflow Help & Questions
  • Alfred v2 Themes
  • Alfred Remote for iOS
    • Alfred Remote Discussion & Help
    • Remote Connection Troubleshooting

Categories

  • Articles
    • Forum Integration
    • Frontpage
  • Pages
  • Miscellaneous
    • Databases
    • Templates
    • Media

Find results in...

Find results that contain...


Date Created

  • Start

    End


Last Updated

  • Start

    End


Filter by number of...

Joined

  • Start

    End


Group


Twitter


Website URL


Jabber


Location


Interests

Found 1 result

  1. Picat Workflow This workflow is for programing using the [Picat](http://picat-lang.org/) language. The following commands are available: pic:install This will download and install Picat in to the ~/Documents directory. It then sets up the variables to use in all the other commands. pic:showdir This shows the directory of the install Picat program to the user. pic:setscript This sets the Picat script to execute in the other commands. pic:editscript This opens the Picat script in to the code editor that is setup with pic:seteditor. pic:seteditor This allows for setting the code editor to use to edit Picate scripts. pic:run This runs the currently selected Picat script. pic:suser This opens the Picat User Manual. pic:stutorial This opens the Picat Tutorial. pic:sstarted This opens the Picat Getting Started Manual. There are also three File commands to use in the Alfred Browser: Edit Picat File Allows you to edit the selected Picat file in the Alfred Browser using the editor setup in the pic:seteditor. Run Picat File This runs the current Picat file in the Alfred Browser. Run Files through Picat Program This will pipe the current file to the currently setup Picat script. Packal: http://www.packal.org/workflow/picat-workflow My Website: http://customct.com/ My GitHub: https://github.com/raguay/MyAlfred
×
×
  • Create New...