Local branch: git branch -d <local_branch>
Remote branch: git push origin --delete <remote_branch>
git checkout -b
appender.console.type = Console | |
appender.console.name = plain_console | |
appender.console.layout.type = PatternLayout | |
appender.console.layout.pattern = [%d{ISO8601}][%-5p][%-25c] %m%n | |
appender.console.filter.no_json_error.type = RegexFilter | |
appender.console.filter.no_json_error.regex = (?s).*JSON parse error.* | |
appender.console.filter.no_json_error.onMatch = DENY | |
appender.console.filter.no_json_error.onMismatch = ACCEPT |
#! /bin/bash | |
# ECHO COMMAND | |
# echo Hello World! | |
# VARIABLES | |
# Uppercase by convention | |
# Letters, numbers, underscores | |
NAME="Bob" | |
# echo "My name is $NAME" |
// place this file the path such ends with: ChatServer/server/ChatServer.java | |
package ChatServer.server; | |
import java.io.IOException; | |
import java.net.ServerSocket; | |
import java.net.Socket; | |
import java.util.ArrayList; | |
import java.util.List; |
package tools.distribution.transmission.serialization; | |
import java.io.ByteArrayInputStream; | |
import java.io.ByteArrayOutputStream; | |
import java.io.IOException; | |
import java.io.ObjectInputStream; | |
import java.io.ObjectOutputStream; | |
import java.util.logging.Level; | |
import java.util.zip.GZIPInputStream; | |
import java.util.zip.GZIPOutputStream; |