Linux Setup Guide¶
Step 1: Update and Upgrade Your System¶
Before installing new software, it's a good practice to update your system:
sudo apt update && sudo apt upgrade -y
Step 2: Install OpenJDK¶
Install OpenJDK using your distribution's package manager:
sudo apt install default-jdk
Verify the installation:
java --version
Step 3: Install Flutter¶
Please refer to the Flutter installation guide if you face issues
Prerequisites¶
Install required dependencies¶
sudo apt install clang cmake ninja-build pkg-config libgtk-3-dev liblzma-dev
Installation¶
- Download Flutter:
wget https://storage.googleapis.com/flutter_infra_release/releases/stable/linux/flutter_linux_3.24.1-stable.tar.xz
- Extract the downloaded file:
tar xf flutter_linux_3.24.1-stable.tar.xz
- Add Flutter to your PATH. Add this line to your
~/.bashrcor~/.zshrcfile:
export PATH="$PATH:[PATH_TO_FLUTTER_GIT_DIRECTORY]/flutter/bin"
Replace [PATH_TO_FLUTTER_GIT_DIRECTORY] with the path where you extracted Flutter.
- Reload your shell configuration:
source ~/.bashrc # or source ~/.zshrc if you're using Zsh
- Verify the installation:
flutter --version
Step 4: Install .NET 8.0¶
- Add the Microsoft package signing key and repository:
wget https://packages.microsoft.com/config/ubuntu/20.04/packages-microsoft-prod.deb -O packages-microsoft-prod.deb
sudo dpkg -i packages-microsoft-prod.deb
rm packages-microsoft-prod.deb
- Install the .NET 8.0 SDK:
sudo apt update && sudo apt install -y dotnet-sdk-8.0
- Verify the installation:
dotnet --version
Step 5: Install MariaDB¶
- Install MariaDB:
sudo apt install mariadb-server
- Secure the MariaDB installation:
sudo mysql_secure_installation
Follow the prompts to set a root password and secure your installation.
Running GIRAF¶
Refer to this guide
Troubleshooting¶
If you encounter any issues:
- Ensure your Linux distribution is up to date
- Run
flutter doctorfor diagnostics and follow its recommendations - Check system logs for any error messages:
journalctl -xe - Ensure all required dependencies are installed
- If you're using a different Linux distribution, consult its documentation for equivalent commands
Note: This guide assumes you're using a Debian-based distribution like Ubuntu. If you're using a different distribution, you may need to adjust some commands (e.g., use yum instead of apt for Red Hat-based systems).
Last update: October 27, 2025