Shell

$str = '012345678912';
echo substr($str, 0, 7) . ' ' . substr($str, 7);

PREVIOUS	NEXT

Code Example
Shell :: cp directory with exclusion
Shell :: Extract your external IP address using dig
Shell :: linux replace after char
Shell :: create permanent shortcut command ubuntu
Shell :: how to install app from android phone programmatically
Shell :: windows openssh powershell core
Shell :: to remember all commands typed in multiple terminal
Shell :: hint: Waiting for your editor to close the file... need to run as root or suid
Shell :: increment version powershell
Shell :: how to clone git all repository git ubuntu
Shell :: change dns server for vpn connection
Shell :: override dh_dwz
Shell :: How to zero pad numbers in file names in Bash?
Shell :: git the .git folder (to manage your local repo cloned many remote repos)
Shell :: powershell ssh key permissions
Shell :: spigot start.bat code
Shell :: Non-base32 digit found
Shell :: mkdir a to z
Shell :: start automount daemon aix
Shell :: how to install startx
Shell :: uninstall debian kodi
Shell :: git ssh how to add identity
Shell :: How to terminate multiple processes in windows powershell
Shell :: prometheus label __meta_docker_container_name with docker-compose
Shell :: The Things Network commands starting server local lorawan
Shell :: mention profile sls deploy
Shell :: copy too large file commmand linux
Shell :: command to download scoop
Shell :: how to uninstall in ubuntu
Shell :: bash loggin as root