Bennett: Difference between revisions

From Engineering Wiki
Jump to navigation Jump to search
gravatar Mmapxam5 [userbureaucrateditorinterface-adminsysopPHRhYmxlIGNsYXNzPSJ0d3BvcHVwIj48dHI+PHRkIGNsYXNzPSJ0d3BvcHVwLWVudHJ5dGl0bGUiPkdyb3Vwczo8L3RkPjx0ZD51c2VyPGJyIC8+YnVyZWF1Y3JhdDxiciAvPmVkaXRvcjxiciAvPmludGVyZmFjZS1hZG1pbjxiciAvPnN5c29wPGJyIC8+PC90ZD48L3RyPjwvdGFibGU+] (talk | contribs)
No edit summary
gravatar Mmapxam5 [userbureaucrateditorinterface-adminsysopPHRhYmxlIGNsYXNzPSJ0d3BvcHVwIj48dHI+PHRkIGNsYXNzPSJ0d3BvcHVwLWVudHJ5dGl0bGUiPkdyb3Vwczo8L3RkPjx0ZD51c2VyPGJyIC8+YnVyZWF1Y3JhdDxiciAvPmVkaXRvcjxiciAvPmludGVyZmFjZS1hZG1pbjxiciAvPnN5c29wPGJyIC8+PC90ZD48L3RyPjwvdGFibGU+] (talk | contribs)
No edit summary
Line 33: Line 33:
</blockquote>
</blockquote>


=== Download Links ===
=== Download and install bennett for off campus usage ===


{| class="wikitable"
Please see the [[Bennett Download and Install guide]]
|+ Downloads for Bennett packages
|-
! Linux Distribution !! Download Link 
|-
| Ubuntu 22.04 || [[Media:Bennett_1.1.7_amd64_jammy.deb| click for Ubuntu 22.04 download]]
|}
 
=== Installing Bennett on Ubuntu 22.04 ===
 
# Download appropriate Bennett package from the above section
# Open a terminal window
# Change to the directory containing the downloaded file, for example <blockquote> cd ~/Downloads </blockquote>
# run the following command <blockquote> sudo apt install ./THE_FILE_YOU_JUST_DOWNLOADED.deb </blockquote>
# a specific example at this time is <blockquote> sudo apt install ./Bennett_0.9.0.1_amd64.deb </blockquote>
# When prompted to install packages, enter 'y'
 
=== Uninstalling Bennett ===
 
To uninstall Bennett if installed with either of the above two packages, run the following command:
 
<blockquote>
dpkg -r bennett
</blockquote>
 
=== Running Bennett ===
 
Once Bennett is installed on your system, the scripts to start the GUI are available at /opt/bennett/bin/
This path should be added to your system path, either by running the following commands each time you
wish to run Bennett.
 
<blockquote>
export PATH=$PATH:/opt/bennett/bin/
 
start_bennett_151
</blockquote>
 
or appending the below to your ~/.bashrc file.
 
<blockquote>
export PATH=$PATH:/opt/bennett/bin/
</blockquote>


=== Technical support ===
=== Technical support ===

Revision as of 10:09, 3 September 2025

For technical documentation please see Bennett/Technical Documentation

Using Benentt

A general user manual for Bennett is available user manual

Specific notes and guides are available for particular course units


High Dpi Displays

For using Bennett on a high DPI display, the following commands can be run before launching Bennett:

export QT_SCALE_FACTOR=2

or for a larger window

export QT_SCALE_FACTOR=3

So for example

export QT_SCALE_FACTOR=3

bennett -m "RISCV"

Download and install bennett for off campus usage

Please see the Bennett Download and Install guide

Technical support

Support for using Bennett is available by contacting support@cs.manchester.ac.uk.

For bugs,issues and difficulty with installation you should contact support via the given email.

Academic support should be requested from the channels specified by your course unit leader.

Development Guide

Bennett has been developed for use within the department of computer science, as an open source piece of software additional features are appreciated. The Developers Guide outlines key development details for the software.

History

Varanus bennetti

Varanus bennetti is a species of monitor lizard with the common name "Bennett's long-tailed monitor". The lizard was named in commemoration of north-west born, multi award-winning biologist Daniel Bennett who had a life-long commitment to the study and conservation of monitor lizards.

File Formats