Write in markdown then publish to Blogger.com
just realized I can edit using statedit using markdown then publish to this blog.
Would recommend you to try it too at https://stackedit.io
just realized I can edit using statedit using markdown then publish to this blog.
Would recommend you to try it too at https://stackedit.io
$./jdev
Oracle JDeveloper 12c 12.1.2.0.0 Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
# # A fatal error has been detected by the Java Runtime Environment: # # SIGSEGV (0xb) at pc=0xa3e351e0, pid=16287, tid=2826627904 # # JRE version: 7.0_15-b33 # Java VM: Java HotSpot(TM) Server VM (23.7-b01 mixed mode linux-x86 ) # Problematic frame: # C 0xa3e351e0 # # Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again # [thread -1462166720 also had an error] # An error report file with more information is saved as: # [thread -1462166720 also had an error] # # If you would like to submit a bug report, please visit: # http://bugreport.sun.com/bugreport/crash.jsp # /home/sean/Oracle/JDev121200/jdeveloper/jdev/bin/../../ide/bin/launcher.sh: line 603: 16287 Aborted (core dumped) ${JAVA} "${APP_VM_OPTS[@]}" ${APP_ENV_VARS} -classpath ${APP_CLASSPATH} ${APP_MAIN_CLASS} "${APP_APP_OPTS[@]}"
GNOME_DESKTOP_SESSION_IDOn my Mint box, if I run:
$env |grep GNOMEI got:
GNOME_KEYRING_CONTROL=/run/user/sean/keyring-X5wlWr
GNOME_KEYRING_PID=2272
GNOME_DESKTOP_SESSION_ID=this-is-deprecated
XDG_CURRENT_DESKTOP=GNOME
#-----------------------------------------------------------------------------
# main
#-----------------------------------------------------------------------------
unset GNOME_DESKTOP_SESSION_ID