fnky

ANSI Escape Sequences

Standard escape codes are prefixed with Escape:

• Ctrl-Key: ^[
• Octal: \033
• Unicode: \u001b
• Hexadecimal: \x1B
• Decimal: 27

Prakasaka

Regular Colors

Value	Color
\e[0;30m	Black
\e[0;31m	Red
\e[0;32m	Green
\e[0;33m	Yellow
\e[0;34m	Blue
\e[0;35m	Purple

gavr123456789

using Gtk;
Button button;

void main (string[] args) {
   Gtk.init (ref args);

   var window = new Window ();
  
   button = new Button.with_label ("Start counting");
   button.clicked.connect (() => {

diazvictor

local lgi = require('lgi')
local Gtk = lgi.require('Gtk', '3.0')
local Gdk = lgi.require('Gdk', '3.0')

--- I collect the value of the screen resolution
-- and I pick up its width and height
local screen = Gdk.Screen:get_default()
local width, height = screen:get_width(), screen:get_height()

-- Creates the window

diazvictor

local lgi = require('lgi')
local Gtk = lgi.require('Gtk', '3.0')
local Gdk = lgi.require('Gdk', '3.0')
assert = lgi.assert -- With this function I will confirm if a file (in this case custom.css) exists.

--- I load my css
local provider = Gtk.CssProvider()

-- Show a message if custom.css does not exist
assert(provider:load_from_path('custom.css'), 'ERROR: file.css not found')

diazvictor

Paths of standard files of a GTK project for LGI.

This information has been collected by observing the GNOME projects. Especially those of PGI

com.github.project is the name of your project.

com.github.project/
├── data/
│ ├── appdata/

diazvictor

/* Button defect styles reset */
button {
	box-shadow: none;
	text-shadow: none;
	border: none;
	outline: none;
}

/* The box will simulate the border */
box {

box-automation1

cd ~
sudo rm -rf *
#Install Brave, For Quick Ad-Free Browsing(Prone To Crashes)(Due To Chromium), WHile Install Firefox For Watching Videos, As Due To lack of Physical GPU, Chromium Crashes on Video Rendering, Firefox Surprisingly Works Fine
sudo curl -fsSLo /usr/share/keyrings/brave-browser-archive-keyring.gpg https://brave-browser-apt-release.s3.brave.com/brave-browser-archive-keyring.gpg
echo "deb [signed-by=/usr/share/keyrings/brave-browser-archive-keyring.gpg arch=amd64] https://brave-browser-apt-release.s3.brave.com/ stable main"|sudo tee /etc/apt/sources.list.d/brave-browser-release.list
sudo apt update
sudo apt install --assume-yes wget firefox brave-browser tasksel aria2 tmate neofetch apt-transport-https tasksel
aria2c https://dl.google.com/linux/direct/chrome-remote-desktop_current_amd64.deb
ssh-keygen -q -t rsa -N '' -f ~/.ssh/id_rsa <<<y >/dev/null 2>&1
#Begin Installing XFCE Environment along with Chrome Remote Desktop

box-automation1

cd ~
sudo rm -rf *
#Install Brave, For Quick Ad-Free Browsing(Prone To Crashes)(Due To Chromium), WHile Install Firefox For Watching Videos, As Due To lack of Physical GPU, Chromium Crashes on Video Rendering, Firefox Surprisingly Works Fine
sudo curl -fsSLo /usr/share/keyrings/brave-browser-archive-keyring.gpg https://brave-browser-apt-release.s3.brave.com/brave-browser-archive-keyring.gpg
echo "deb [signed-by=/usr/share/keyrings/brave-browser-archive-keyring.gpg arch=amd64] https://brave-browser-apt-release.s3.brave.com/ stable main"|sudo tee /etc/apt/sources.list.d/brave-browser-release.list
sudo apt update
sudo apt install --assume-yes wget firefox brave-browser tasksel aria2 tmate neofetch apt-transport-https tasksel
aria2c https://dl.google.com/linux/direct/chrome-remote-desktop_current_amd64.deb
ssh-keygen -q -t rsa -N '' -f ~/.ssh/id_rsa <<<y >/dev/null 2>&1
#Begin Installing Cinnamon Environment along with Chrome Remote Desktop

box-automation1

cd ~
sudo rm -rf *
#Install Brave, For Quick Ad-Free Browsing(Prone To Crashes)(Due To Chromium), WHile Install Firefox For Watching Videos, As Due To lack of Physical GPU, Chromium Crashes on Video Rendering, Firefox Surprisingly Works Fine
sudo curl -fsSLo /usr/share/keyrings/brave-browser-archive-keyring.gpg https://brave-browser-apt-release.s3.brave.com/brave-browser-archive-keyring.gpg
echo "deb [signed-by=/usr/share/keyrings/brave-browser-archive-keyring.gpg arch=amd64] https://brave-browser-apt-release.s3.brave.com/ stable main"|sudo tee /etc/apt/sources.list.d/brave-browser-release.list
sudo apt update
sudo apt install --assume-yes wget firefox brave-browser tasksel aria2 tmate neofetch apt-transport-https tasksel
aria2c https://dl.google.com/linux/direct/chrome-remote-desktop_current_amd64.deb
ssh-keygen -q -t rsa -N '' -f ~/.ssh/id_rsa <<<y >/dev/null 2>&1
#Begin Installing Gnome Environment along with Chrome Remote Desktop