Skip to content

Instantly share code, notes, and snippets.

View bigprof's full-sized avatar

BigProf Software bigprof

View GitHub Profile
@bigprof
bigprof / README.md
Last active July 13, 2022 13:45
Bash script to switch PHP version on Debian/Ubuntu

Bash script to switch PHP version on Debian/Ubuntu

You can run multiple versions of PHP on the same server. This is useful in many cases. For example:

  • Testing the same PHP app under multiple PHP versions.
  • Running several PHP apps that each requires a different version of PHP

I personally find this very useful to rapidly test apps generated by AppGini under multiple PHP versions.

AppGini is a nocode/lowcode graphical tool for configuring and generating web applications for easily managing data for small businesses, organizations, teams in small/large companies, or even your indvidual projects. Apps created by AppGini support multiple users, are responsive and mobile-friendly, work on LAMP stack for easy installation and wide support, allow importing and exporting of data to CSV, and many more features. A free fully working trial of AppGini can be downloaded from here

@noelboss
noelboss / git-deployment.md
Last active May 2, 2024 15:47
Simple automated GIT Deployment using Hooks

Simple automated GIT Deployment using GIT Hooks

Here are the simple steps needed to create a deployment from your local GIT repository to a server based on this in-depth tutorial.

How it works

You are developing in a working-copy on your local machine, lets say on the master branch. Most of the time, people would push code to a remote server like github.com or gitlab.com and pull or export it to a production server. Or you use a service like deepl.io to act upon a Web-Hook that's triggered that service.